Fri, 18 Oct 1996 11:32:38 +0200 | paulson | Moving the CPUtimer declaration into cond_timeit should | file | diff | annotate |
Mon, 14 Oct 1996 11:08:54 +0200 | paulson | Removed call to obsolete totalCPUTimer function | file | diff | annotate |
Wed, 09 Oct 1996 13:38:11 +0200 | paulson | cond_timeit now catches exception Time, which sml/nj | file | diff | annotate |
Thu, 14 Mar 1996 12:19:49 +0100 | clasohm | added @SMLdebug=/dev/null to supress GC messages | file | diff | annotate |
Tue, 13 Feb 1996 11:36:15 +0100 | clasohm | cond_timeit now uses totalCPUTimer instead of starting new ones every | file | diff | annotate |
Tue, 06 Feb 1996 12:44:31 +0100 | clasohm | made Isabelle compatible with SML/NJ 1.09 | file | diff | annotate |