Thu, 04 Feb 1999 18:14:40 +0100 | wenzelm | added 'use'; | changeset | files |
Thu, 04 Feb 1999 18:14:27 +0100 | wenzelm | fail_safe close; | changeset | files |
Thu, 04 Feb 1999 18:13:10 +0100 | wenzelm | check_elem: allow ~, except for '~' and '~~'; | changeset | files |