| #
d46d095d |
|
06-Aug-2018 |
wenzelm <none@none> |
updated for release;
|
| #
b73e3957 |
|
05-Jul-2018 |
wenzelm <none@none> |
more manual tests;
|
| #
0fbfc891 |
|
02-Jul-2018 |
wenzelm <none@none> |
updated for release;
|
| #
744496a3 |
|
29-Jun-2018 |
wenzelm <none@none> |
more manual tests;
|
| #
0e2708d9 |
|
22-Dec-2017 |
wenzelm <none@none> |
discontinued 'display_drafts' command;
|
| #
07ea9ac7 |
|
23-Oct-2017 |
wenzelm <none@none> |
obsolete;
|
| #
71d7becc |
|
08-Oct-2017 |
wenzelm <none@none> |
more on Docker;
|
| #
74423e42 |
|
08-Sep-2017 |
wenzelm <none@none> |
updated for release;
|
| #
9b8b115b |
|
07-Sep-2017 |
wenzelm <none@none> |
no fork of long-term test results: too complicated;
|
| #
2c07ab4e |
|
02-Sep-2017 |
wenzelm <none@none> |
VSCode extension for official Isabelle release;
|
| #
f3bd9ab2 |
|
21-Aug-2017 |
wenzelm <none@none> |
updated for release;
|
| #
9fad6372 |
|
23-Apr-2017 |
wenzelm <none@none> |
tuned documentation;
|
| #
8c0607d2 |
|
23-Apr-2017 |
wenzelm <none@none> |
more checks;
|
| #
cf4e0b8c |
|
01-Nov-2016 |
wenzelm <none@none> |
proper remote repository source;
|
| #
4ffc286a |
|
31-Oct-2016 |
wenzelm <none@none> |
updated to new cronjob;
|
| #
3905159a |
|
31-Oct-2016 |
wenzelm <none@none> |
build_release on lxbroy10 appears to work, including latex and remote_dmg;
|
| #
3ee6c0a8 |
|
23-Oct-2016 |
wenzelm <none@none> |
discontinued unused / untested distinction of separate PIDE modules;
|
| #
5bc34506 |
|
13-Oct-2016 |
wenzelm <none@none> |
replaced shell script by Isabelle/Scala;
|
| #
7afaa6bb |
|
11-Oct-2016 |
wenzelm <none@none> |
build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
|
| #
45d5d102 |
|
16-Sep-2016 |
wenzelm <none@none> |
misc updates;
|
| #
e155dfa4 |
|
16-Sep-2016 |
wenzelm <none@none> |
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
|
| #
f4f3965f |
|
26-Apr-2016 |
wenzelm <none@none> |
updated subtle side-conditions;
|
| #
a0395a6e |
|
03-Mar-2016 |
wenzelm <none@none> |
discontinued polyml-5.3.0;
--HG--
rename : src/Pure/RAW/ml_debugger_polyml-5.6.ML => src/Pure/RAW/ml_debugger.ML
rename : src/Pure/RAW/ml_name_space_polyml-5.6.ML => src/Pure/RAW/ml_name_space.ML
rename : src/Pure/RAW/ml_profiling_polyml-5.6.ML => src/Pure/RAW/ml_profiling.ML
|
| #
3813a04b |
|
28-Feb-2016 |
wenzelm <none@none> |
support only polyml-5.3.0 and polyml-5.6;
--HG--
rename : lib/scripts/run-polyml-5.6 => lib/scripts/run-polyml
rename : lib/scripts/run-polyml => lib/scripts/run-polyml-5.3.0
rename : src/Pure/ML/ml_statistics_polyml-5.5.0.ML => src/Pure/ML/ml_statistics.ML
rename : src/Pure/RAW/exn_trace_polyml-5.5.1.ML => src/Pure/RAW/exn_trace.ML
|
| #
04add51f |
|
28-Feb-2016 |
wenzelm <none@none> |
more official "isabelle check_sources";
--HG--
rename : src/Pure/Tools/check_source.scala => src/Pure/Tools/check_sources.scala
|
| #
0d72d301 |
|
17-Feb-2016 |
wenzelm <none@none> |
SML/NJ is no longer supported;
|
| #
845b21b3 |
|
24-Jan-2016 |
wenzelm <none@none> |
tuned;
|
| #
661e2da6 |
|
21-Jul-2015 |
wenzelm <none@none> |
avoid lxbroy2, lxbroy3, lxbroy4, which are often busy with other processes;
--HG--
rename : Admin/isatest/crontab.lxbroy3 => Admin/isatest/crontab.lxbroy10
|
| #
dbd3879a |
|
21-May-2015 |
wenzelm <none@none> |
updated versions;
|
| #
019fbece |
|
21-May-2015 |
wenzelm <none@none> |
tuned;
|
| #
331a7918 |
|
12-Apr-2015 |
wenzelm <none@none> |
tuned;
|
| #
be2e2524 |
|
08-Apr-2015 |
wenzelm <none@none> |
misc tuning for release;
|
| #
8eed78f8 |
|
08-Apr-2015 |
wenzelm <none@none> |
tuned;
|
| #
a0a04e65 |
|
19-Apr-2015 |
wenzelm <none@none> |
proper isatest machine;
|
| #
86636e63 |
|
09-Aug-2014 |
wenzelm <none@none> |
tuned;
|
| #
f7745754 |
|
27-Jul-2014 |
wenzelm <none@none> |
tuned;
|
| #
17b2bbc4 |
|
25-Jul-2014 |
wenzelm <none@none> |
tuned;
|
| #
973e1af2 |
|
23-Jul-2014 |
wenzelm <none@none> |
enable hires explictly, as seen for other high-end Java applications on the Web;
|
| #
557918d3 |
|
01-Jul-2014 |
wenzelm <none@none> |
tuned;
|
| #
404c0625 |
|
18-May-2014 |
wenzelm <none@none> |
clarified dependencies -- Mavericks presently does not work;
|
| #
3b18bcd6 |
|
07-May-2014 |
wenzelm <none@none> |
explicit option to build library, which takes most of the time;
produce minimal index, e.g. for test web page;
|
| #
cfd10812 |
|
02-May-2014 |
wenzelm <none@none> |
proper tool wrap-up;
|
| #
f9340c3b |
|
02-May-2014 |
wenzelm <none@none> |
discontinued adhoc check (see also ea8343187225);
|
| #
02df0bde |
|
09-Feb-2014 |
wenzelm <none@none> |
check scalable fonts;
|
| #
3541b473 |
|
03-Oct-2013 |
wenzelm <none@none> |
tuned;
|
| #
10e81f1a |
|
03-Oct-2013 |
wenzelm <none@none> |
more notes;
|
| #
8eeb5be2 |
|
28-Sep-2013 |
wenzelm <none@none> |
updated for release;
|
| #
c58c1576 |
|
16-Sep-2013 |
wenzelm <none@none> |
adhoc check of ML sources, in addition to thy files already covered in Thy_Load;
|
| #
418db43a |
|
16-Sep-2013 |
wenzelm <none@none> |
more CHECKLIST;
|
| #
f9e0094a |
|
12-Sep-2013 |
wenzelm <none@none> |
more CHECKLIST;
|
| #
f8ad88e7 |
|
05-Sep-2013 |
wenzelm <none@none> |
support only one scala version;
tuned;
|
| #
d2db4938 |
|
16-Jul-2013 |
wenzelm <none@none> |
fully-automated packaging (requires Mac OS X);
|
| #
8de0aa0c |
|
24-Jun-2013 |
wenzelm <none@none> |
need to run isabelle update_keywords, but not to check it (cf. 4cf3f6153eb8);
|
| #
3f4933d1 |
|
24-Jun-2013 |
wenzelm <none@none> |
improved "isabelle keywords" and "isabelle update_keywords" based on Isabelle/Scala, without requiring to build sessions first;
tuned signature;
|
| #
d1ea994b |
|
12-Feb-2013 |
wenzelm <none@none> |
updated isabelle-release URLs;
|
| #
01b5f66b |
|
20-Jan-2013 |
wenzelm <none@none> |
tuned;
|
| #
3f8ee9b3 |
|
18-Jan-2013 |
wenzelm <none@none> |
misc cleanup;
--HG--
rename : Admin/Windows/Cygwin/sfx.txt => Admin/Windows/Installer/sfx.txt
|
| #
4be31557 |
|
17-Jan-2013 |
wenzelm <none@none> |
tuned;
|
| #
9e8222ff |
|
14-Jan-2013 |
wenzelm <none@none> |
grand-unified Admin/Release/build script (excluding .app and .exe);
--HG--
rename : Admin/Release/makedist_library => Admin/Release/build_library
|
| #
569521ab |
|
13-Jan-2013 |
wenzelm <none@none> |
updated makedist_library;
--HG--
rename : Admin/Release/makebin => Admin/Release/makedist_library
|
| #
3622b34c |
|
10-Jan-2013 |
wenzelm <none@none> |
scala-2.9.2 is still supported;
|
| #
8007bd77 |
|
09-Jan-2013 |
wenzelm <none@none> |
minor update;
|
| #
46cced1a |
|
09-Jan-2013 |
wenzelm <none@none> |
more CHECKLIST;
|
| #
b8ea994c |
|
31-Dec-2012 |
wenzelm <none@none> |
updated for release;
|
| #
7d3d3f28 |
|
29-Aug-2012 |
wenzelm <none@none> |
more formal isabelle makedist from repository;
--HG--
rename : Admin/Release/makedist => Admin/lib/Tools/makedist
|
| #
aadb4d66 |
|
28-Aug-2012 |
wenzelm <none@none> |
more formal build_doc tool (Admin only);
removed some doc-src junk;
|
| #
98b5590a |
|
30-Jul-2012 |
wenzelm <none@none> |
updated isatest to isabelle build, which also includes doc-src sessions;
|
| #
7ca9fbe9 |
|
28-Jul-2012 |
wenzelm <none@none> |
discontinued obsolete Isabelle/build script;
|
| #
c753208e |
|
05-Jul-2012 |
wenzelm <none@none> |
more explicit directory structure Admin/Release/;
updated to Admin/components;
--HG--
rename : Admin/CHECKLIST => Admin/Release/CHECKLIST
rename : Admin/isasync => Admin/Release/isasync
rename : Admin/makebin => Admin/Release/makebin
rename : Admin/makebundle => Admin/Release/makebundle
rename : Admin/makedist => Admin/Release/makedist
rename : Admin/mirror-website => Admin/Release/mirror-website
|