| 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
|
| Wed, 06 Jan 2010 22:18:52 +0100 |
wenzelm |
simplified build/bootstrap of graph browser -- avoid make;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 11:39:27 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 20:18:07 +0200 |
wenzelm |
tuned usage line;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2008 16:05:09 +0200 |
wenzelm |
replaced ISATOOL by ISABELLE_TOOL;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 13:31:57 +0200 |
wenzelm |
refined scala/java wrappers via isatool;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 23:09:55 +0200 |
wenzelm |
proper RC;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 22:59:01 +0200 |
wenzelm |
refined JVM path wrappers;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 23:30:36 +0100 |
wenzelm |
check ISABELLE_BROWSER_INFO before cd;
|
file |
diff |
annotate
|