| Fri, 01 Nov 1996 15:12:21 +0100 | paulson | Now defines structure Int | file | diff | annotate |
| 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 |