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