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