| 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 |