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 |