Mon, 19 Jan 2009 19:38:03 +0100 | wenzelm | removed Ids; | file | diff | annotate |
Thu, 04 Dec 2008 23:01:11 +0100 | wenzelm | renamed type Lazy.T to lazy; | file | diff | annotate |
Thu, 23 Oct 2008 14:22:16 +0200 | wenzelm | renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy; | file | diff | annotate |
Thu, 23 Oct 2008 13:52:28 +0200 | wenzelm | adapted Susp.peek; | file | diff | annotate |
Mon, 13 Oct 2008 13:56:54 +0200 | wenzelm | tuned output; | file | diff | annotate |
Thu, 09 Oct 2008 21:34:05 +0200 | wenzelm | extra Poly/ML toplevel pretty printing in ML-Systems/install_pp_polyml.ML; | file | diff | annotate |