| Thu, 15 Mar 2018 11:49:29 +0100 |
wenzelm |
clarified message;
|
file |
diff |
annotate
|
| Sat, 01 Jul 2017 16:26:15 +0200 |
wenzelm |
proper fonts (cf. 1d219d76873b);
|
file |
diff |
annotate
|
| Wed, 26 Oct 2016 14:50:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 14:37:37 +0200 |
wenzelm |
retain Admin component for isabelle tool invocation;
|
file |
diff |
annotate
|
| Mon, 24 Oct 2016 12:01:36 +0200 |
wenzelm |
proper Admin tool;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2016 13:07:54 +0200 |
wenzelm |
identify release;
|
file |
diff |
annotate
|
| Thu, 13 Oct 2016 11:22:12 +0200 |
wenzelm |
more cleanup;
|
file |
diff |
annotate
|
| Fri, 16 Sep 2016 17:12:39 +0200 |
wenzelm |
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
|
file |
diff |
annotate
|
| Tue, 26 Apr 2016 21:46:12 +0200 |
wenzelm |
more portable: GNU find no longer supports "-perm +mode";
|
file |
diff |
annotate
|
| Mon, 04 Apr 2016 15:35:24 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 13 Jan 2016 20:19:49 +0100 |
wenzelm |
more doc content;
|
file |
diff |
annotate
|
| Wed, 13 Jan 2016 16:01:03 +0100 |
wenzelm |
more doc content;
|
file |
diff |
annotate
|
| Sat, 09 Jan 2016 22:22:17 +0100 |
wenzelm |
generate HTML version of NEWS, with proper symbol rendering;
|
file |
diff |
annotate
|
| Mon, 23 Nov 2015 16:57:01 +0100 |
wenzelm |
bundle main sources read-only, to avoid accidental editing of imported theories etc.;
|
file |
diff |
annotate
|
| Sat, 26 Jul 2014 19:19:19 +0200 |
wenzelm |
no -optimise -- produces bad bytecode;
|
file |
diff |
annotate
|
| Fri, 25 Jul 2014 16:58:28 +0200 |
wenzelm |
proper option -O;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 17:13:26 +0200 |
wenzelm |
proper perl;
|
file |
diff |
annotate
|
| Thu, 24 Jul 2014 15:54:56 +0200 |
wenzelm |
further distinction of Isabelle distribution: alert for identified release candidates;
|
file |
diff |
annotate
|
| Thu, 26 Sep 2013 12:56:59 +0200 |
wenzelm |
prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 14:10:45 +0200 |
wenzelm |
propagate ISABELLE_CLASSPATH;
|
file |
diff |
annotate
|
| Fri, 06 Sep 2013 15:47:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 26 Aug 2013 16:51:53 +0200 |
wenzelm |
prefer build_doc -s to avoid heaps left behind in $ISABELLE_HOME_USER (especially relevant to isatest);
|
file |
diff |
annotate
|
| Fri, 01 Feb 2013 21:40:15 +0100 |
wenzelm |
allow relative directory;
|
file |
diff |
annotate
|
| Tue, 15 Jan 2013 12:30:23 +0100 |
wenzelm |
grand-unified Admin/Release/build script (excluding .app and .exe);
|
file |
diff |
annotate
|
| Sun, 13 Jan 2013 20:30:33 +0100 |
wenzelm |
some attempts to avoid "._" files on Mac OS X;
|
file |
diff |
annotate
|
| Wed, 09 Jan 2013 22:28:28 +0100 |
wenzelm |
unconditional jedit_build;
|
file |
diff |
annotate
|
| Wed, 09 Jan 2013 17:04:59 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 22:18:33 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 21:20:46 +0200 |
wenzelm |
more formal isabelle makedist from repository;
|
file |
diff |
annotate
| base
|