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
|