Achim D. Brucker
|
3a39028f1c
|
Added CENELEC_50128_Documentation.thy to session build.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-03-01 09:16:48 +00:00 |
Achim D. Brucker
|
acb82477b5
|
Moved currently unsupported document templates to the Isabelle_DOF-Ontologies session.
|
2023-02-25 11:01:39 +00:00 |
Achim D. Brucker
|
3e41871b17
|
Added bib file.
|
2023-02-21 08:11:35 +00:00 |
Achim D. Brucker
|
47fa3590aa
|
Moved CENELEC ontology (and its LaTeX style) to the session Isabelle_DOF-Ontologies.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-02-20 23:34:54 +00:00 |
Achim D. Brucker
|
00eff9f819
|
Initial document setup.
|
2023-02-19 22:15:37 +00:00 |
Achim D. Brucker
|
aaeb793a51
|
Moved ontologies into session Isabelle_DOF-Ontologies.
|
2023-02-19 16:41:16 +00:00 |