Wed, 08 Aug 2007 23:07:47 +0200 | wenzelm | load_thy: try_ml_file unconditionally; | changeset | files |
Wed, 08 Aug 2007 23:07:46 +0200 | wenzelm | * Theory loader: old-style ML proof scripts are considered a legacy feature; | changeset | files |
Wed, 08 Aug 2007 20:48:08 +0200 | wenzelm | check_deps: really do reload the master text if required; | changeset | files |