Admin/build
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