| Tue, 05 Jul 2005 18:11:59 +0200 | wenzelm | tuned K; | changeset | files |
| Tue, 05 Jul 2005 16:49:15 +0200 | wenzelm | fixed regexp grouping; | changeset | files |
| Tue, 05 Jul 2005 16:16:49 +0200 | wenzelm | List.app; | changeset | files |
| Tue, 05 Jul 2005 15:49:19 +0200 | haftmann | added combinatros '||>' and '||>>' and fold_map fitting nicely to ST combinator '|->' | changeset | files |
| Tue, 05 Jul 2005 15:39:48 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Mon, 04 Jul 2005 17:07:15 +0200 | wenzelm | dummy exception_trace; | changeset | files |
| Mon, 04 Jul 2005 17:07:14 +0200 | wenzelm | tuned union: avoid garbage in trivial case; | changeset | files |
| Mon, 04 Jul 2005 17:07:13 +0200 | wenzelm | dest_ctyp: raise exception for non-constructor; | changeset | files |
| Mon, 04 Jul 2005 17:07:12 +0200 | wenzelm | added fast_indexname_ord, fast_term_ord; | changeset | files |
| Mon, 04 Jul 2005 17:07:11 +0200 | wenzelm | use fast_string_ord; | changeset | files |
| Mon, 04 Jul 2005 17:07:10 +0200 | wenzelm | added fast_string_ord; | changeset | files |
| Mon, 04 Jul 2005 15:51:56 +0200 | quigley | Streamlined the signal handler in watcher.ML | changeset | files |
| Mon, 04 Jul 2005 15:15:55 +0200 | haftmann | unified main and dist | changeset | files |
| Mon, 04 Jul 2005 14:42:06 +0200 | haftmann | started unifying main and dist | changeset | files |
| Mon, 04 Jul 2005 11:04:10 +0200 | haftmann | (intermediate commit) | changeset | files |
| Sat, 02 Jul 2005 13:08:28 +0200 | wenzelm | Simple report generator for Poly/ML profiling output. | changeset | files |
| Fri, 01 Jul 2005 22:37:14 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 01 Jul 2005 22:36:36 +0200 | wenzelm | ambig msg: warning again; | changeset | files |
| Fri, 01 Jul 2005 22:35:41 +0200 | wenzelm | avoid polyeq; | changeset | files |
| Fri, 01 Jul 2005 22:35:20 +0200 | wenzelm | tuned term_ord: less garbage; | changeset | files |
| Fri, 01 Jul 2005 22:34:50 +0200 | wenzelm | cterm_aconv: avoid rep_cterm; | changeset | files |
| Fri, 01 Jul 2005 22:33:59 +0200 | wenzelm | decomp_simp: compare terms, not cterms; | changeset | files |