Admin/README
Wed, 12 May 2010 13:54:49 +0200 wenzelm removed obsolete CVS Ids;
Thu, 17 Jul 2008 17:01:54 +0200 wenzelm tuned;
Thu, 20 Feb 1997 15:28:18 +0100 wenzelm some administrative tools for the Isabelle;
less more (0) tip