Tue, 18 Apr 2000 14:57:18 +0200 | wenzelm | emilimated global names; | changeset | files |
Tue, 18 Apr 2000 14:54:08 +0200 | wenzelm | removed obsolete "simpset" keyword; | changeset | files |
Tue, 18 Apr 2000 00:49:49 +0200 | wenzelm | renamed 'hide' to 'hide_action'; | changeset | files |