| Sat, 22 Aug 2009 22:54:36 +0200 |
wenzelm |
less ambitious array operations -- for improved compatibility with older versions of bash;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2009 21:52:56 +0200 |
wenzelm |
default file is plain Scratch.thy (as in Proof General);
|
file |
diff |
annotate
|
| Fri, 26 Jun 2009 18:23:30 +0200 |
wenzelm |
pass JVM platform files, without going through the "isabelle:" VFS;
|
file |
diff |
annotate
|
| Sat, 30 May 2009 23:27:37 +0200 |
wenzelm |
slightly more robust treatment of options via arrays;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 00:14:25 +0100 |
wenzelm |
more robust handling of FILES with spaces, using bash array variables;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2008 23:56:58 +0100 |
wenzelm |
disabled tracing;
|
file |
diff |
annotate
|
| Fri, 19 Dec 2008 23:54:24 +0100 |
wenzelm |
proper spelling of JEDIT_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 23:52:17 +0200 |
wenzelm |
added jvmpath conversion for Cygwin;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 22:27:53 +0200 |
wenzelm |
explicit home path for default file -- more robust;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 22:00:11 +0200 |
wenzelm |
disabled tracing;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 21:48:16 +0200 |
wenzelm |
Isabelle/jEdit interface wrapper.
|
file |
diff |
annotate
|