| Tue, 23 Oct 2001 22:58:15 +0200 | wenzelm | eliminated old numerals; | changeset | files |
| Tue, 23 Oct 2001 22:57:52 +0200 | wenzelm | use generic 1 instead of Numeral1; | changeset | files |
| Tue, 23 Oct 2001 22:56:55 +0200 | wenzelm | eliminated Numeral0; | changeset | files |
| Tue, 23 Oct 2001 22:54:01 +0200 | wenzelm | build option enables most basic browser info (for proper recording of session); | changeset | files |
| Tue, 23 Oct 2001 22:53:08 +0200 | wenzelm | build option; | changeset | files |
| Tue, 23 Oct 2001 22:52:45 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 23 Oct 2001 22:52:31 +0200 | wenzelm | eliminated old numerals; | changeset | files |
| Tue, 23 Oct 2001 22:51:30 +0200 | wenzelm | pass build mode to process; | changeset | files |
| Tue, 23 Oct 2001 19:15:00 +0200 | wenzelm | removed export_thm; | changeset | files |
| Tue, 23 Oct 2001 19:14:47 +0200 | wenzelm | trace_rules: only non-empty; | changeset | files |
| Tue, 23 Oct 2001 19:14:31 +0200 | wenzelm | removed obsolete "exported" att; | changeset | files |
| Tue, 23 Oct 2001 19:14:13 +0200 | wenzelm | replace_dummy_patterns: lift over bounds; | changeset | files |