| Wed, 28 Jul 2010 00:03:22 +0200 | wenzelm | use file names relative to master directory of theory source -- Proof General can now handle that due to the ThyLoad.add_path deception (cf. 3ceccd415145); | changeset | files |
| Tue, 27 Jul 2010 23:25:50 +0200 | wenzelm | simplified handling of update_time -- do not store within deps; | changeset | files |
| Tue, 27 Jul 2010 23:15:37 +0200 | wenzelm | clarified register_thy: clean slate via kill_thy, more precise CRITICAL section; | changeset | files |
| Tue, 27 Jul 2010 23:04:50 +0200 | wenzelm | updated keywords; | changeset | files |
| Tue, 27 Jul 2010 23:02:45 +0200 | wenzelm | updated manual concerning theory loader; | changeset | files |
| Tue, 27 Jul 2010 23:01:42 +0200 | wenzelm | theory loader: removed obsolete touch/outdate operations (require_thy no longer changes the database implicitly); | changeset | files |