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

Build #3 (Jun 25, 2020, 11:45:02 PM)

Build Artifacts
MLS.pdf2.99 MB view
MLS.tar.gz2.14 MB view
Changes
  1. Use 'definition' environment for the two kinds of clock partition (details / githubweb)
  2. Don't consider the three 'The input argument is a...' definitions (details / githubweb)

Pull request #2601 updated at 11:44:55 PM on Jun 25, 2020

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