Admin/build
Sat, 16 Aug 2008 13:32:23 +0200 wenzelm more robust handling of directory layout variants;
Fri, 15 Aug 2008 22:16:13 +0200 wenzelm jars: build Pure.jar;
Sat, 19 Jul 2008 11:05:18 +0200 wenzelm build jedit plugin only if jedit is available;
Fri, 18 Jul 2008 17:09:48 +0200 wenzelm fixed Scala path;
Thu, 17 Jul 2008 21:24:26 +0200 wenzelm tuned build order;
Thu, 17 Jul 2008 15:33:01 +0200 wenzelm less verbosity;
Thu, 17 Jul 2008 15:26:04 +0200 wenzelm Administrative build -- finish Isabelle source distribution.
less more (0) tip