| Tue, 31 Jul 2007 09:31:19 +0200 | chaieb | Tuned document | changeset | files |
| Tue, 31 Jul 2007 00:56:34 +0200 | wenzelm | added register_thy (replaces pretend_use_thy_only and really flag); | changeset | files |
| Tue, 31 Jul 2007 00:56:32 +0200 | wenzelm | ThyInfo.register_thy; | changeset | files |