| Mon, 22 Jun 2020 21:59:38 +0200 | fix license version: GNU GPLv3, GNU FDLv1.3 | file | diff | annotate |
| Mon, 19 Aug 2013 20:53:04 +0200 | generator: JavaDoc | file | diff | annotate |
| Tue, 09 Jul 2013 22:42:32 +0200 | generator: sorted index and synonyms | file | diff | annotate |
| Tue, 09 Jul 2013 18:59:07 +0200 | generator: first version | file | diff | annotate |