| Thu, 23 Jun 2011 20:30:48 +0200 | wenzelm | more robust concurrent builds; | file | diff | annotate |
| Thu, 23 Jun 2011 16:34:29 +0200 | wenzelm | adapted to Cygwin; | 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 |
| Thu, 23 Jun 2011 13:23:00 +0200 | wenzelm | augment Java extension directories; | file | diff | annotate |