| Thu, 10 Jan 2013 15:45:27 +0100 |
wenzelm |
prefer system build mode in main application wrappers, to produce heaps insided distribution directory;
|
file |
diff |
annotate
|
| Sat, 10 Sep 2011 13:41:03 +0200 |
wenzelm |
simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
|
file |
diff |
annotate
|
| Sat, 25 Jun 2011 12:54:32 +0200 |
wenzelm |
CLASSPATH already converted in isabelle java wrapper;
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 16:10:22 +0200 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
| Tue, 16 Nov 2010 22:13:54 +0100 |
wenzelm |
more robust determination of java executable;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2010 20:00:22 +0100 |
wenzelm |
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
|
file |
diff |
annotate
|
| Fri, 03 Jul 2009 00:15:59 +0200 |
wenzelm |
allow reloading of settings within JVM process;
|
file |
diff |
annotate
|
| Fri, 03 Jul 2009 00:06:40 +0200 |
wenzelm |
isabelle.home: native jvmpath;
|
file |
diff |
annotate
|
| Fri, 03 Jul 2009 00:02:07 +0200 |
wenzelm |
Generic Isabelle application wrapper.
|
file |
diff |
annotate
|