| Mon, 03 Nov 1997 11:56:17 +0100 | wenzelm | adapted to new implicit claset mechanism; | changeset | files |
| Mon, 03 Nov 1997 11:48:56 +0100 | wenzelm | fix references to implicit claset and simpset; | changeset | files |
| Mon, 03 Nov 1997 11:48:29 +0100 | wenzelm | do not overwrite backup files; | changeset | files |
| Mon, 03 Nov 1997 11:48:02 +0100 | wenzelm | set_session renamed to add_session; | changeset | files |
| Mon, 03 Nov 1997 11:46:42 +0100 | wenzelm | tuned error msg; | changeset | files |
| Mon, 03 Nov 1997 11:46:25 +0100 | wenzelm | made SML/97 happy; | changeset | files |
| Mon, 03 Nov 1997 09:58:06 +0100 | nipkow | expand_option_bind -> split_option_bind | changeset | files |