Admin/Benchmarks/IsaMakefile
Sun, 15 Nov 2009 15:14:02 +0100 wenzelm more accurate dependencies;
Sun, 15 Nov 2009 13:06:07 +0100 schirmer added benchmark for large records
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