Wed, 29 Dec 2010 18:18:42 +0100 | wenzelm | theory loader: implicit load path is considered legacy; | changeset | files |
Wed, 29 Dec 2010 17:34:41 +0100 | wenzelm | explicit file specifications -- avoid secondary load path; | changeset | files |
Wed, 29 Dec 2010 13:51:17 +0100 | wenzelm | check_file: secondary load path is legacy feature; | changeset | files |