| Mon, 26 Mar 2012 16:25:08 +0200 |
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
|
file | diff | annotate |
| Mon, 07 Nov 2011 14:59:58 +0100 |
offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
|
file | diff | annotate |
| Thu, 23 Jun 2011 16:10:22 +0200 |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file | diff | annotate |
| Fri, 21 Jan 2011 19:01:40 +0100 |
java/scala: default to UTF-8;
|
file | diff | annotate |
| Fri, 28 May 2010 20:41:23 +0200 |
assume given SCALA_HOME, e.g. from component settings or external setup;
|
file | diff | annotate |
| Sat, 09 Jan 2010 18:22:40 +0100 |
pass build error code;
|
file | diff | annotate |
| Wed, 06 Jan 2010 20:00:22 +0100 |
simplified build/bootstrap of Isabelle/Scala components -- avoid make;
|
file | diff | annotate |
| Sat, 20 Dec 2008 11:39:27 +0100 |
removed Ids;
|
file | diff | annotate |
| Sat, 16 Aug 2008 14:29:25 +0200 |
removed unused usage;
|
file | diff | annotate |
| Sat, 16 Aug 2008 13:31:57 +0200 |
refined scala/java wrappers via isatool;
|
file | diff | annotate |