| Thu, 04 Feb 1999 18:31:57 +0100 | wenzelm | obsolete; | changeset | files |
| Thu, 04 Feb 1999 18:18:19 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 04 Feb 1999 18:18:02 +0100 | wenzelm | include full paths in file info; | changeset | files |
| Thu, 04 Feb 1999 18:17:20 +0100 | wenzelm | Symbol.use; | changeset | files |
| Thu, 04 Feb 1999 18:17:01 +0100 | wenzelm | Symbol.use (eliminated Use.exit_use); | changeset | files |
| Thu, 04 Feb 1999 18:16:22 +0100 | wenzelm | leave theory context after load_thy; | changeset | files |
| Thu, 04 Feb 1999 18:15:53 +0100 | wenzelm | File.pwd, File.cd; | changeset | files |
| Thu, 04 Feb 1999 18:15:20 +0100 | wenzelm | fixed file_info; | changeset | files |
| Thu, 04 Feb 1999 18:15:01 +0100 | wenzelm | use, cd; | changeset | files |
| 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 |
| 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 |