| Mon, 16 Dec 1996 10:04:45 +0100 |
wenzelm |
added needs_filtered_use;
|
file |
diff |
annotate
|
| Tue, 03 Dec 1996 11:21:47 +0100 |
paulson |
Simplified file_info using OS.FileSys instead of Posix.FileSys
|
file |
diff |
annotate
|
| Mon, 02 Dec 1996 10:25:53 +0100 |
paulson |
Made comments more explicit
|
file |
diff |
annotate
|
| Wed, 27 Nov 1996 12:56:11 +0100 |
paulson |
Compatibility with SML/NJ 109, and some compatibility with later versions
|
file |
diff |
annotate
|
| 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
|