| Sun, 13 Mar 2016 12:37:01 +0100 |
wenzelm |
more uniform signature for various process invocations;
|
file |
diff |
annotate
|
| Sat, 13 Feb 2016 16:19:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 05 Jan 2016 13:48:51 +0100 |
wenzelm |
updated headers;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2015 21:05:14 +0200 |
wenzelm |
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
|
file |
diff |
annotate
|
| Wed, 30 Sep 2015 20:02:39 +0200 |
wenzelm |
uniform treatment of bootstrap directories;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2015 23:43:35 +0200 |
wenzelm |
clarified Isabelle_System.init;
|
file |
diff |
annotate
|
| Sun, 07 Jul 2013 22:58:34 +0200 |
wenzelm |
some support for Cygwin;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 23:28:58 +0200 |
wenzelm |
eliminated unused Cygwin download;
|
file |
diff |
annotate
|
| Thu, 24 May 2012 23:13:06 +0200 |
wenzelm |
simplified Cygwin root: warm start via env, cold start via property, no registry magic;
|
file |
diff |
annotate
|
| Sun, 22 Apr 2012 21:43:57 +0200 |
wenzelm |
support Cygwin cold-start via Isabelle.exe, assuming layout of bundle;
|
file |
diff |
annotate
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 13:43:10 +0200 |
wenzelm |
imitate exception ERROR of Isabelle/ML;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 23:36:58 +0100 |
wenzelm |
Cygwin: Poly/ML 5.4.0 requires libgmp3;
|
file |
diff |
annotate
|