Admin/Benchmarks/IsaMakefile
Sat, 04 Oct 2008 16:05:09 +0200 wenzelm replaced ISATOOL by ISABELLE_TOOL;
Thu, 28 Sep 2000 14:34:49 +0200 wenzelm tuned;
Fri, 27 Aug 1999 10:48:47 +0200 wenzelm *** empty log message ***
less more (0) tip