| Fri, 23 Jul 2010 09:05:54 +0200 | haftmann | repaired tool invocation | changeset | files |
| Fri, 23 Jul 2010 18:42:35 +0200 | wenzelm | observe standard conventions for doc-strings; | changeset | files |
| Thu, 22 Jul 2010 23:29:39 +0200 | wenzelm | tuned message; | changeset | files |
| Thu, 22 Jul 2010 22:58:18 +0200 | wenzelm | eliminated some unused Thy_Info operations; | changeset | files |