| 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 |