| Fri, 23 Oct 1998 18:51:54 +0200 | paulson | Warns when stack is extended; better decl of print_depth | changeset | files |
| Fri, 23 Oct 1998 18:48:59 +0200 | paulson | better checking of "defines" in a locale | changeset | files |
| Fri, 23 Oct 1998 18:48:25 +0200 | paulson | better reporting of "Additional hypotheses" in a locale | changeset | files |
| Fri, 23 Oct 1998 18:47:44 +0200 | paulson | Now users will never see (int 0) | changeset | files |
| Fri, 23 Oct 1998 18:47:20 +0200 | paulson | auto update | changeset | files |
| Fri, 23 Oct 1998 16:46:33 +0200 | paulson | updated as requested by Markus | changeset | files |
| Fri, 23 Oct 1998 16:44:50 +0200 | wenzelm | export is_ml_identifier; | changeset | files |