| Tue, 05 Jul 2005 14:07:08 +0200 | wenzelm | * Pure: structure OrdList (cf. Pure/General/ord_list.ML); | changeset | files |
| Tue, 05 Jul 2005 13:57:23 +0200 | haftmann | added ST combinator '|->' | changeset | files |
| Tue, 05 Jul 2005 13:55:09 +0200 | wenzelm | Symtab: use fast_string_ord instead of string_ord -- affects order of Symtab.dest etc.; | changeset | files |
| Tue, 05 Jul 2005 13:54:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Jul 2005 20:20:50 +0200 | wenzelm | made smlnj happy; | changeset | files |
| Mon, 04 Jul 2005 20:13:39 +0200 | wenzelm | methods: added simp_flags argument, added "depth_limit" flag; | changeset | files |
| Mon, 04 Jul 2005 17:09:15 +0200 | wenzelm | added transform_exceptions: bool ref; | changeset | files |
| Mon, 04 Jul 2005 17:08:19 +0200 | wenzelm | tuned; | changeset | files |