| Mon, 20 Aug 2012 15:43:10 +0200 | wenzelm | tuned comment; | changeset | files |
| Mon, 20 Aug 2012 14:23:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 20 Aug 2012 14:09:09 +0200 | wenzelm | added keyword kind "thy_load" (with optional list of file extensions); | changeset | files |
| Mon, 20 Aug 2012 13:58:06 +0200 | wenzelm | updated generated files; | changeset | files |