 Achim D. Brucker
|
da6bc4277d
|
Added new dependency: Metalogic_ProofChecker
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-03-01 10:19:29 +00:00 |
|
Achim D. Brucker
|
bde86a1118
|
Added note on using the development version of Isabelle.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-02-28 08:30:56 +00:00 |
 Makarius Wenzel
|
aee8ba1df1
|
Prefer DOF parameters over Isabelle options
|
2022-12-03 12:37:58 +01:00 |
|
Makarius Wenzel
|
44819bff02
|
Updated message, following c29ec9641a
|
2022-12-01 12:44:03 +01:00 |
|
Achim D. Brucker
|
4e47c38860
|
Declared installation script as deprecated.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-10-31 19:20:34 +00:00 |
|
Achim D. Brucker
|
6ee7058d51
|
Check for the presence of Physical_Quantities.
|
2022-08-01 22:22:55 +01:00 |
|
Achim D. Brucker
|
3febf83b3c
|
Check that Isabelle/DOF is registered as a component.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-02 22:38:39 +01:00 |
|
Achim D. Brucker
|
fb8dbfac49
|
Removed component installations.
|
2022-07-02 22:31:44 +01:00 |
|
Achim D. Brucker
|
aa7d0aec09
|
Print help message, if script is invoked without prefixing 'isabelle env'.
|
2022-06-24 18:50:32 +01:00 |
|
Achim D. Brucker
|
31778374ed
|
Read settings from options.
|
2022-06-24 18:45:48 +01:00 |
|
Achim D. Brucker
|
7b8ae0a93d
|
Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-27 13:21:55 +01:00 |