| 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 |