Status

Changes

Console Output

View as plain text

View Build Information

Git Build Data

See Fingerprints

Open Blue Ocean

Pipeline Steps

Previous Build

Next Build

Started 3 yr 6 mo ago

Took 11 min

Build #10 (Nov 3, 2020, 7:44:37 AM)

Build Artifacts

	MLS.pdf	3.12 MB	view
	MLS.tar.gz	2.04 MB	view

Changes

Remove meaningless braces around 'unique' (details / githubweb)
Use \cref to reference item of enumeration (details / githubweb)
Put spaces in correct locations of overloaded constructor call (details / githubweb)

Pull request #2627 updated at 7:44:23 AM on Nov 3, 2020

Revision: b235410459df2a9f680ef13e7a7e5c5e88eb7e0c
Repository: https://github.com/modelica/ModelicaSpecification.git

PR-2627