| Tue, 03 Aug 2010 16:48:36 +0200 | wenzelm | tuned headers -- more precise load path; | changeset | files |
| Tue, 03 Aug 2010 16:33:11 +0200 | wenzelm | theory loading: only the master source file is looked-up in the implicit load path; | changeset | files |
| Tue, 03 Aug 2010 16:21:33 +0200 | wenzelm | load_thy: refer to physical master directory (not accumulated source import directory) and enable loading files relatively to that; | changeset | files |
| Tue, 03 Aug 2010 15:53:36 +0200 | wenzelm | simplified/clarified Thy_Load path: search for master only, lookup other files relative to that; | changeset | files |