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