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

Build #2 (May 16, 2023, 1:20:27 PM)

Build Artifacts
MLS.pdf3.57 MB view
MLS.tar.gz2.25 MB view
Changes
  1. Don't use \emph for content of lesser importance (details / githubweb)
  2. Add "propagating" (details / githubweb)
Changes
  1. Don't use \emph for content of lesser importance (details / githubweb)
  2. Add "propagating" (details / githubweb)

Pull request #3378 updated at 1:20:14 PM on May 16, 2023

Revision: ea8c8e5829b4cee8e50e6b42bc24fd66da8e7628
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-3378
Revision: c0c86bd40fe768f5b1760f2714be59e7f5597e02
Repository: https://github.com/modelica/ModelicaSpecification.git
  • PR-3378