Fri, 17 Mar 2000 16:30:03 +0100 | wenzelm | kill: include kill_proof; | changeset | files |
Fri, 17 Mar 2000 16:29:35 +0100 | wenzelm | fixed untag; | changeset | files |
Fri, 17 Mar 2000 16:28:59 +0100 | wenzelm | untag: remove all tags of given name; | changeset | files |