Skip to content
[Jenkins]Jenkins
log in
Started 3 yr 10 mo ago
Took 5 min 21 sec

Build #2 (Jun 24, 2020, 1:43:57 PM)

Build Artifacts
MLS.pdf2.99 MB view
MLS.tar.gz2.14 MB view
Changes
  1. Use amsthm.sty to define 'definition' environment (details / githubweb)
  2. Mark the end of a definition with \qed (details / githubweb)
  3. Use 'definition' environment instead of "definition tables" (details / githubweb)
  4. Use 'definition' environments instead of 'description' lists (details / githubweb)
  5. Use 'definition' environment for the different kinds of discrete-time variables (details / githubweb)

Pull request #2601 updated at 1:43:47 PM on Jun 24, 2020

Revision: d8096992dfa3d95f7c53ff993bd974945daa7b33
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-2601