| 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 |
| Sat, 03 Jul 1999 00:40:57 +0200 | wenzelm | oops; | changeset | files |
| Sat, 03 Jul 1999 00:28:05 +0200 | wenzelm | proper text; | changeset | files |
| Sat, 03 Jul 1999 00:26:00 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 03 Jul 1999 00:23:17 +0200 | wenzelm | tuned print_state; | changeset | files |