| 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
|