2013-09-26 | wenzelm | prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850); | file | diff | annotate |
2013-09-12 | wenzelm | propagate ISABELLE_CLASSPATH; | file | diff | annotate |
2013-09-06 | wenzelm | tuned; | file | diff | annotate |
2013-08-26 | wenzelm | prefer build_doc -s to avoid heaps left behind in $ISABELLE_HOME_USER (especially relevant to isatest); | file | diff | annotate |
2013-02-01 | wenzelm | allow relative directory; | file | diff | annotate |
2013-01-15 | wenzelm | grand-unified Admin/Release/build script (excluding .app and .exe); | file | diff | annotate |
2013-01-13 | wenzelm | some attempts to avoid "._" files on Mac OS X; | file | diff | annotate |
2013-01-09 | wenzelm | unconditional jedit_build; | file | diff | annotate |
2013-01-09 | wenzelm | tuned; | file | diff | annotate |
2012-08-29 | wenzelm | tuned message; | file | diff | annotate |
2012-08-29 | wenzelm | more formal isabelle makedist from repository; | file | diff | annotate | base |