| Fri, 13 Dec 1996 18:32:07 +0100 | oheimb | minor adaptions | changeset | files |
| Fri, 13 Dec 1996 18:25:45 +0100 | oheimb | added header | changeset | files |
| Fri, 13 Dec 1996 17:50:04 +0100 | wenzelm | now also loads etc/isa-settings.el; | changeset | files |
| Fri, 13 Dec 1996 17:48:03 +0100 | wenzelm | now discgarb called only for changed databases; | changeset | files |
| Fri, 13 Dec 1996 17:42:36 +0100 | wenzelm | added set inclusion symbol syntax; | changeset | files |
| Fri, 13 Dec 1996 17:38:56 +0100 | wenzelm | added warning for unprintable chars in strings; | changeset | files |
| Fri, 13 Dec 1996 17:38:17 +0100 | wenzelm | fixed warning; | changeset | files |