| Wed, 18 Aug 1999 20:41:16 +0200 | wenzelm | isa_action: don't lock pretend_used files; | changeset | files |
| Wed, 18 Aug 1999 20:40:28 +0200 | wenzelm | proper writeln of begin_state; | changeset | files |
| Wed, 18 Aug 1999 20:39:41 +0200 | wenzelm | (*no fix_shyps*); | changeset | files |