| #
eaaf532f |
|
08-Dec-2018 |
wenzelm <none@none> |
clarified settings and defaults;
|
| #
148cfd6f |
|
05-Dec-2018 |
wenzelm <none@none> |
more robust, notably for macos /var vs. /private/var;
|
| #
fe7a73e9 |
|
05-Dec-2018 |
wenzelm <none@none> |
clarified absolute isabelle_home and (implicitly) isabelle_home_user;
|
| #
7905d3fb |
|
05-Dec-2018 |
wenzelm <none@none> |
eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
more robust components and classpath via Other_Isabelle;
updated macos_app to include full dmg template;
misc tuning and clarification;
--HG--
rename : Admin/MacOS/Info.plist-part1 => Admin/MacOS/Info.plist
|
| #
07c6ee10 |
|
03-Dec-2018 |
wenzelm <none@none> |
clarified signature;
|
| #
22bb6b8b |
|
03-Dec-2018 |
wenzelm <none@none> |
clarified signature;
|
| #
aebbc7dd |
|
03-Dec-2018 |
wenzelm <none@none> |
more explicit support for Isabelle system components;
activate_bundled_components: check component dir as in makedist_bundle;
|
| #
be76d7ce |
|
02-Dec-2018 |
wenzelm <none@none> |
clarified component settings;
|
| #
ba4b2a8c |
|
02-Dec-2018 |
wenzelm <none@none> |
unused;
|
| #
3bb4ccd6 |
|
29-Nov-2018 |
wenzelm <none@none> |
clarified "hidden" terminology;
updated component;
|
| #
b95902a8 |
|
28-Nov-2018 |
wenzelm <none@none> |
more explicit Isabelle_Fonts.Entry;
more robust font embedding into PDF and HTML;
|
| #
03266b62 |
|
28-Nov-2018 |
wenzelm <none@none> |
clarified modules;
|
| #
d36bf581 |
|
21-Oct-2018 |
wenzelm <none@none> |
eliminated "isabelle makedist" -- prefer Scala over bash/perl scripting;
eliminated "isabelle news";
roper title in NEWS.html;
more robust build of documentation, using proper Other_Isabelle settings: avoid conflict with enclosing ISABELLE_OCAML / ISABELLE_GHC;
misc tuning and clarification;
|
| #
e879ff37 |
|
21-Oct-2018 |
wenzelm <none@none> |
tuned signature;
|
| #
cd2feb23 |
|
17-Aug-2018 |
wenzelm <none@none> |
clarified signature;
|
| #
66902268 |
|
11-Nov-2017 |
wenzelm <none@none> |
clarified settings environment;
|
| #
b3402db1 |
|
11-Nov-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
215f216d |
|
26-May-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
4697b247 |
|
24-May-2017 |
wenzelm <none@none> |
tuned;
|
| #
75d9e6c9 |
|
16-May-2017 |
wenzelm <none@none> |
proper init_settings, before inspecting ML_HOME etc;
|
| #
35ff6ceb |
|
20-Oct-2016 |
wenzelm <none@none> |
proper echo;
tuned;
|
| #
61f649e7 |
|
18-Oct-2016 |
wenzelm <none@none> |
clarified modules;
|
| #
99d4b10d |
|
13-Oct-2016 |
wenzelm <none@none> |
tuned;
|
| #
23d88000 |
|
13-Oct-2016 |
wenzelm <none@none> |
tuned signature;
copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here;
|
| #
0e21c7e6 |
|
12-Oct-2016 |
wenzelm <none@none> |
clarified modules;
|