| Mon, 28 Jun 2021 14:43:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 14:24:50 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 28 Jun 2021 13:45:46 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2021 13:04:29 +0100 |
wenzelm |
more informative errors: simplify diagnosis of spurious failures reported by users;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2018 21:15:18 +0100 |
wenzelm |
more direct File.link operation: avoid external process;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2018 14:59:42 +0100 |
wenzelm |
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
|
file |
diff |
annotate
|
| 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
|
| Sun, 26 Sep 2010 19:32:45 +0200 |
wenzelm |
tuned signatures and messages;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 21:17:59 +0200 |
wenzelm |
eliminated hard tabs;
|
file |
diff |
annotate
|
| Sat, 17 Apr 2010 21:01:55 +0200 |
wenzelm |
THIS_CYGWIN;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 22:43:07 +0100 |
wenzelm |
Standard_System.raw_exec;
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 22:19:14 +0100 |
wenzelm |
added Cygwin "make" package;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2010 20:08:04 +0100 |
wenzelm |
tuned error handling;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2010 01:14:49 +0100 |
wenzelm |
Standard_System.raw_execute: optional cwd;
|
file |
diff |
annotate
|
| Mon, 28 Dec 2009 22:58:25 +0100 |
wenzelm |
crude Cygwin.setup;
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 21:55:14 +0100 |
wenzelm |
simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
|
file |
diff |
annotate
|
| Wed, 09 Dec 2009 16:28:49 +0100 |
wenzelm |
more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;
|
file |
diff |
annotate
|
| Sun, 28 Jun 2009 15:39:51 +0200 |
wenzelm |
some more Cygwin checks;
|
file |
diff |
annotate
|
| Mon, 08 Jun 2009 00:20:43 +0200 |
wenzelm |
Accessing the Cygwin installation.
|
file |
diff |
annotate
|