src/Pure/Admin/other_isabelle.scala
4 months ago wenzelm 2018-12-09 clarified settings and defaults;
4 months ago wenzelm 2018-12-06 more robust, notably for macos /var vs. /private/var;
4 months ago wenzelm 2018-12-05 clarified absolute isabelle_home and (implicitly) isabelle_home_user;
4 months ago wenzelm 2018-12-05 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;
4 months ago wenzelm 2018-12-03 clarified signature;
4 months ago wenzelm 2018-12-03 clarified signature;
4 months ago wenzelm 2018-12-03 more explicit support for Isabelle system components; activate_bundled_components: check component dir as in makedist_bundle;
4 months ago wenzelm 2018-12-02 clarified component settings;
4 months ago wenzelm 2018-12-02 unused;
4 months ago wenzelm 2018-11-29 clarified "hidden" terminology; updated component;
4 months ago wenzelm 2018-11-28 more explicit Isabelle_Fonts.Entry; more robust font embedding into PDF and HTML;
4 months ago wenzelm 2018-11-28 clarified modules;
6 months ago wenzelm 2018-10-21 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;
6 months ago wenzelm 2018-10-21 tuned signature;
8 months ago wenzelm 2018-08-17 clarified signature;
17 months ago wenzelm 2017-11-11 clarified settings environment;
17 months ago wenzelm 2017-11-11 tuned signature;
23 months ago wenzelm 2017-05-26 tuned signature;
23 months ago wenzelm 2017-05-24 tuned;
23 months ago wenzelm 2017-05-16 proper init_settings, before inspecting ML_HOME etc;
2016-10-20 wenzelm 2016-10-20 proper echo; tuned;
2016-10-18 wenzelm 2016-10-18 clarified modules;
2016-10-13 wenzelm 2016-10-13 tuned;
2016-10-13 wenzelm 2016-10-13 tuned signature; copy_dir using *this* Isabelle_System: note that File.bash_path is already expanded, but no variables are used here;
2016-10-13 wenzelm 2016-10-13 clarified modules;