| Wed, 22 Aug 2012 21:02:02 +0200 | wenzelm | discontinued separate list of required files -- maintain only provided files as they occur at runtime; | changeset | files |
| Wed, 22 Aug 2012 18:04:30 +0200 | wenzelm | find files via load commands within theory text; | changeset | files |