| 2017-10-23 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| 2017-10-08 |
wenzelm |
more on Docker;
|
file |
diff |
annotate
|
| 2017-09-08 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2017-09-07 |
wenzelm |
no fork of long-term test results: too complicated;
|
file |
diff |
annotate
|
| 2017-09-02 |
wenzelm |
VSCode extension for official Isabelle release;
|
file |
diff |
annotate
|
| 2017-08-21 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2017-04-23 |
wenzelm |
tuned documentation;
|
file |
diff |
annotate
|
| 2017-04-23 |
wenzelm |
more checks;
|
file |
diff |
annotate
|
| 2016-11-01 |
wenzelm |
proper remote repository source;
|
file |
diff |
annotate
|
| 2016-10-31 |
wenzelm |
updated to new cronjob;
|
file |
diff |
annotate
|
| 2016-10-31 |
wenzelm |
build_release on lxbroy10 appears to work, including latex and remote_dmg;
|
file |
diff |
annotate
|
| 2016-10-24 |
wenzelm |
discontinued unused / untested distinction of separate PIDE modules;
|
file |
diff |
annotate
|
| 2016-10-13 |
wenzelm |
replaced shell script by Isabelle/Scala;
|
file |
diff |
annotate
|
| 2016-10-11 |
wenzelm |
build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
|
file |
diff |
annotate
|
| 2016-09-16 |
wenzelm |
misc updates;
|
file |
diff |
annotate
|
| 2016-09-16 |
wenzelm |
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
|
file |
diff |
annotate
|
| 2016-04-26 |
wenzelm |
updated subtle side-conditions;
|
file |
diff |
annotate
|
| 2016-03-03 |
wenzelm |
discontinued polyml-5.3.0;
|
file |
diff |
annotate
|
| 2016-02-28 |
wenzelm |
support only polyml-5.3.0 and polyml-5.6;
|
file |
diff |
annotate
|
| 2016-02-28 |
wenzelm |
more official "isabelle check_sources";
|
file |
diff |
annotate
|
| 2016-02-17 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| 2016-01-24 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2015-07-21 |
wenzelm |
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
|
file |
diff |
annotate
|
| 2015-05-21 |
wenzelm |
updated versions;
|
file |
diff |
annotate
|
| 2015-05-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2015-04-19 |
wenzelm |
proper isatest machine;
|
file |
diff |
annotate
|
| 2015-04-12 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2015-04-08 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2015-04-08 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-08-09 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-07-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-07-25 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-07-23 |
wenzelm |
enable hires explictly, as seen for other high-end Java applications on the Web;
|
file |
diff |
annotate
|
| 2014-07-01 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2014-05-18 |
wenzelm |
clarified dependencies -- Mavericks presently does not work;
|
file |
diff |
annotate
|
| 2014-05-07 |
wenzelm |
explicit option to build library, which takes most of the time;
|
file |
diff |
annotate
|
| 2014-05-02 |
wenzelm |
proper tool wrap-up;
|
file |
diff |
annotate
|
| 2014-05-02 |
wenzelm |
discontinued adhoc check (see also ea8343187225);
|
file |
diff |
annotate
|
| 2014-02-09 |
wenzelm |
check scalable fonts;
|
file |
diff |
annotate
|
| 2013-10-03 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2013-10-03 |
wenzelm |
more notes;
|
file |
diff |
annotate
|
| 2013-09-29 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2013-09-16 |
wenzelm |
adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
|
file |
diff |
annotate
|
| 2013-09-16 |
wenzelm |
more CHECKLIST;
|
file |
diff |
annotate
|
| 2013-09-12 |
wenzelm |
more CHECKLIST;
|
file |
diff |
annotate
|
| 2013-09-05 |
wenzelm |
support only one scala version;
|
file |
diff |
annotate
|
| 2013-07-16 |
wenzelm |
fully-automated packaging (requires Mac OS X);
|
file |
diff |
annotate
|
| 2013-06-24 |
wenzelm |
need to run isabelle update_keywords, but not to check it (cf. 4cf3f6153eb8);
|
file |
diff |
annotate
|
| 2013-06-24 |
wenzelm |
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
|
file |
diff |
annotate
|
| 2013-02-13 |
wenzelm |
updated isabelle-release URLs;
|
file |
diff |
annotate
|
| 2013-01-20 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2013-01-19 |
wenzelm |
misc cleanup;
|
file |
diff |
annotate
|
| 2013-01-17 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2013-01-15 |
wenzelm |
grand-unified Admin/Release/build script (excluding .app and .exe);
|
file |
diff |
annotate
|
| 2013-01-13 |
wenzelm |
updated makedist_library;
|
file |
diff |
annotate
|
| 2013-01-10 |
wenzelm |
scala-2.9.2 is still supported;
|
file |
diff |
annotate
|
| 2013-01-09 |
wenzelm |
minor update;
|
file |
diff |
annotate
|
| 2013-01-09 |
wenzelm |
more CHECKLIST;
|
file |
diff |
annotate
|
| 2012-12-31 |
wenzelm |
updated for release;
|
file |
diff |
annotate
|
| 2012-08-29 |
wenzelm |
more formal isabelle makedist from repository;
|
file |
diff |
annotate
|