| Fri, 08 Dec 2006 23:25:54 +0100 | wenzelm | tuned use_text; | changeset | files |
| Fri, 08 Dec 2006 23:25:53 +0100 | wenzelm | added 'help' command (same of 'print_commands'); | changeset | files |
| Fri, 08 Dec 2006 23:25:52 +0100 | wenzelm | more careful evaluation of ML text, prevents spurious output; | changeset | files |
| Fri, 08 Dec 2006 23:25:50 +0100 | wenzelm | date: forcing LC_ALL=C prevents funny file names; | changeset | files |
| Fri, 08 Dec 2006 22:17:20 +0100 | wenzelm | root function: restore default interrupt handler; | changeset | files |
| Fri, 08 Dec 2006 18:22:28 +0100 | paulson | patched up the proofs agsin | changeset | files |