nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
Isabelle_DOF/src/ontologies/CENELEC_50128
History
Burkhart Wolff 583636404f renamed cenelec_document into cenelec_report. 2022-08-01 21:50:49 +02:00
..
CENELEC_50128.thy renamed cenelec_document into cenelec_report. 2022-08-01 21:50:49 +02:00
DOF-CENELEC_50128.sty Initial setup using configurations as options, retiring both the build script (LaTeX build) and the mkroo_DOF script (replaced by a Scala-based tooling). 2022-06-24 14:02:19 +01:00