Thu, 10 Mar 2016 17:30:04 +0100 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | file | diff | annotate |
Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
Thu, 09 Oct 2014 11:15:03 +0200 | wenzelm | prefer Unix standard-conformant $TMPDIR over hard-wired /tmp; | file | diff | annotate |
Sat, 24 May 2014 19:15:04 +0200 | wenzelm | more portable -- accomodate MiKTeX on Windows; | file | diff | annotate |
Tue, 25 Jun 2013 11:41:16 +0200 | wenzelm | more formal isabelle_admin_build; | file | diff | annotate |
Tue, 25 Sep 2012 16:48:33 +0200 | wenzelm | proper error message; | file | diff | annotate |
Fri, 05 Mar 2010 21:26:21 +0100 | wenzelm | isabelle browser -b: Admin/build only; | file | diff | annotate |
Sat, 09 Jan 2010 18:22:40 +0100 | wenzelm | pass build error code; | file | diff | annotate |