lib/Tools/scala
Sat, 09 Jan 2010 18:22:40 +0100 wenzelm pass build error code;
Wed, 06 Jan 2010 20:00:22 +0100 wenzelm simplified build/bootstrap of Isabelle/Scala components -- avoid make;
Sat, 20 Dec 2008 11:39:27 +0100 wenzelm removed Ids;
Sat, 16 Aug 2008 14:29:25 +0200 wenzelm removed unused usage;
Sat, 16 Aug 2008 13:31:57 +0200 wenzelm refined scala/java wrappers via isatool;
less more (0) tip