Achim D. Brucker
|
f61e107515
|
Updated scala parts to Isabelle 2023.
|
2024-04-02 12:36:44 +01:00 |
Achim D. Brucker
|
86152c374b
|
Initial implementation of list_templates and list_ontologies (fixes #28).
|
2023-02-27 08:39:53 +00:00 |
Achim D. Brucker
|
233079ef5f
|
Fixed scala build.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-02-26 21:55:29 +00:00 |
Achim D. Brucker
|
85e6cd0372
|
Re-introduced dof_mkroot for main component and moved component setup to main directory (fixes #20).
ci/woodpecker/push/build Pipeline failed
Details
|
2023-02-26 21:18:40 +00:00 |