Achim D. Brucker
|
75b39bc168
|
Build document build engine also for main Isabelle/DOF component.
|
2023-03-13 13:00:49 +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 |
Achim D. Brucker
|
43ccaf43f7
|
Refactoring of session setup.
|
2023-02-19 13:06:00 +00:00 |
Makarius Wenzel
|
94ce3fdec2
|
Prefer constants in Scala, to make this independent from component context
|
2022-12-01 14:15:17 +01:00 |
Makarius Wenzel
|
15feeb7d92
|
More standard package name: appears to work properly in Isabelle2022.
|
2022-10-24 21:38:01 +02:00 |
Makarius Wenzel
|
4e4995bde5
|
Isabelle/Scala build.props with some pro-forma services
(unusual package name prevents problems with Maven/IntelliJ).
|
2021-12-19 16:50:21 +01:00 |