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