| Tue, 15 Jan 2002 21:09:31 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 15 Jan 2002 21:09:01 +0100 | wenzelm | removed second copy of show_hyps; | changeset | files |
| Tue, 15 Jan 2002 18:51:20 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 15 Jan 2002 18:43:51 +0100 | wenzelm | allow empty locales; | changeset | files |
| Tue, 15 Jan 2002 17:54:31 +0100 | wenzelm | updated; | changeset | files |
| Tue, 15 Jan 2002 17:54:28 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 15 Jan 2002 15:07:41 +0100 | paulson | new theorem | changeset | files |
| Tue, 15 Jan 2002 13:14:39 +0100 | paulson | stylistic changes | changeset | files |
| Tue, 15 Jan 2002 10:24:20 +0100 | paulson | now [rule_format] knows about ospec | changeset | files |
| Tue, 15 Jan 2002 10:23:58 +0100 | paulson | split can now be unfolded even with one argument | changeset | files |
| Tue, 15 Jan 2002 00:13:20 +0100 | wenzelm | save: be slightly more about absent tags; | changeset | files |
| Tue, 15 Jan 2002 00:12:21 +0100 | wenzelm | allow zero goals; | changeset | files |
| Tue, 15 Jan 2002 00:11:52 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 15 Jan 2002 00:11:30 +0100 | wenzelm | print_locale: allow full body specification; | changeset | files |