| Thu, 04 Feb 1999 18:13:10 +0100 | wenzelm | check_elem: allow ~, except for '~' and '~~'; | changeset | files |
| Thu, 04 Feb 1999 18:12:26 +0100 | wenzelm | removed use.ML; | changeset | files |
| Thu, 04 Feb 1999 18:12:09 +0100 | wenzelm | removed General/use.ML; | changeset | files |
| Wed, 03 Feb 1999 20:56:29 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Wed, 03 Feb 1999 20:25:53 +0100 | wenzelm | check_thy: include ML stamp; | changeset | files |
| Wed, 03 Feb 1999 20:25:01 +0100 | wenzelm | added join_info; | changeset | files |
| Wed, 03 Feb 1999 17:36:55 +0100 | wenzelm | tidied load path handling; | changeset | files |
| Wed, 03 Feb 1999 17:34:27 +0100 | wenzelm | add_path / reset_path; | changeset | files |