Mon, 09 Mar 1998 16:17:28 +0100 | wenzelm | eliminated pred function; | changeset | files |
Mon, 09 Mar 1998 16:16:21 +0100 | wenzelm | Symbol.explode; | changeset | files |
Mon, 09 Mar 1998 16:15:24 +0100 | wenzelm | replaced $LOGNAME by $USER; | changeset | files |