Tue, 20 May 1997 11:47:33 +0200 |
paulson |
Basis library version of type "option" now resides in its own structure Option
|
file |
diff |
annotate
|
Thu, 24 Apr 1997 19:46:05 +0200 |
wenzelm |
open General (type option is in Option in the newer versions, but always
|
file |
diff |
annotate
|
Thu, 03 Apr 1997 10:33:33 +0200 |
paulson |
More List and ListPair utilities
|
file |
diff |
annotate
|
Wed, 02 Apr 1997 11:32:48 +0200 |
paulson |
Now declares Basis Library version of type option
|
file |
diff |
annotate
|
Fri, 03 Jan 1997 15:25:51 +0100 |
paulson |
A definition of "print", unfortunately overridden by each "open PolyML"
|
file |
diff |
annotate
|
Mon, 16 Dec 1996 10:01:17 +0100 |
wenzelm |
fixed comments;
|
file |
diff |
annotate
|
Thu, 28 Nov 1996 10:42:19 +0100 |
paulson |
Addition of structures List and ListPair
|
file |
diff |
annotate
|
Tue, 26 Nov 1996 16:29:30 +0100 |
paulson |
Structure Bool and value Int.toString needed to replace makestring calls
|
file |
diff |
annotate
|
Fri, 22 Nov 1996 17:38:27 +0100 |
paulson |
Basis library emulation for old ML compilers
|
file |
diff |
annotate
|