| 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 |
| Mon, 20 Aug 2012 13:39:41 +0200 | wenzelm | more strict syntax, according to manual; | changeset | files |
| Mon, 20 Aug 2012 08:40:18 +0200 | nipkow | abstracted lemma | changeset | files |
| Sun, 19 Aug 2012 19:31:45 +0200 | wenzelm | retain unknown options within preferences; | changeset | files |
| Sun, 19 Aug 2012 18:01:25 +0200 | wenzelm | more comprehensible platform family name; | changeset | files |
| Sun, 19 Aug 2012 17:51:41 +0200 | wenzelm | tuned message; | changeset | files |