Skip to content
[Jenkins]Jenkins
log in
Started 2 yr 3 mo ago
Took 4 min 42 sec

Build #3 (Jan 31, 2022, 2:13:31 PM)

Build Artifacts
MLS.pdf3.42 MB view
MLS.tar.gz2.20 MB view
Changes
  1. BothChoices (details / githubweb)
  2. Fix indentation of listings related to versionDate and friends (details / githubweb)
  3. Rename 'Clocked Partition Equation Solving' (details / githubweb)
Changes
  1. BothChoices (details / githubweb)
  2. Fix indentation of listings related to versionDate and friends (details / githubweb)
  3. Rename 'Clocked Partition Equation Solving' (details / githubweb)

Pull request #3100 updated at 2:13:17 PM on Jan 31, 2022

Revision: fed7e1c863ea10dcfa0c7f12459f77439c9e0a48
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-3100
Revision: 2151a127ffa5ec4abf087735377c461a9535dd68
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-3100