Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
Isabelle_DOF/src/ontologies
History
Achim D. Brucker 6c2a0d6876
ci/woodpecker/push/build Pipeline was successful Details
Renaming to ensure compliance with naming restrictions. 		2022-06-29 19:08:56 +01:00
..
CC_v3_1_R5 Renaming to ensure compliance with naming restrictions. 2022-06-29 19:08:56 +01:00
CENELEC_50128 Merge branch 'config_as_options' 2022-06-25 16:36:46 +01:00
Conceptual Made all import paths globally qualified. 2022-05-06 09:17:10 +01:00
scholarly_paper Merge branch 'config_as_options' 2022-06-25 16:36:46 +01:00
small_math Made all import paths globally qualified. 2022-05-06 09:17:10 +01:00
technical_report Merging main into config_as_options. 2022-06-24 15:57:59 +01:00
ontologies.thy Renaming to ensure compliance with naming restrictions. 2022-06-29 19:08:56 +01:00