Skip to content
[Jenkins]Jenkins
log in
Started 1 yr 1 mo ago
Took 10 min

Build #2 (Mar 10, 2023, 8:36:33 AM)

Build Artifacts
MLS.pdf3.55 MB view
MLS.tar.gz2.24 MB view
Changes
  1. Update interface.tex (details / githubweb)
  2. Fix bad use of dollar sign in listing without mathescape (details / githubweb)
  3. Avoid unnecessary switch to math mode for \ldots (details / githubweb)
  4. Bump version at website (details / githubweb)
  5. Delete a verb making nonsense sentence (details / githubweb)
Changes
  1. Update interface.tex (details / githubweb)
  2. Fix bad use of dollar sign in listing without mathescape (details / githubweb)
  3. Avoid unnecessary switch to math mode for \ldots (details / githubweb)
  4. Bump version at website (details / githubweb)
  5. Delete a verb making nonsense sentence (details / githubweb)

Pull request #3344 updated at 8:36:15 AM on Mar 10, 2023

Revision: 2331b964d46c0e4f3b1a6c00e4ce6b562e7eb4ca
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-3344
Revision: dba83d024ced892973caf573c9039c237aef26ba
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-3344