| 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 |