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 |