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 |