| Tue, 06 Jul 1999 21:03:34 +0200 | wenzelm | begin_theory: disallow finished; | changeset | files |
| Tue, 06 Jul 1999 21:03:03 +0200 | wenzelm | added clear_mss; | changeset | files |
| Mon, 05 Jul 1999 09:52:25 +0200 | wenzelm | variant version; | changeset | files |
| Sun, 04 Jul 1999 20:21:45 +0200 | wenzelm | fixed scope of x:??H; | changeset | files |
| Sun, 04 Jul 1999 20:20:36 +0200 | wenzelm | close_block: transfer_used_names; | changeset | files |
| Sun, 04 Jul 1999 20:19:28 +0200 | wenzelm | added transfer_used_names; | changeset | files |