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.
|
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.
|
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.
|
2022-03-27 13:21:55 +01:00 |