| Wed, 26 Jun 2019 16:08:49 +0100 | Chengsong | delete data unnecessary | file | diff | annotate |
| Wed, 26 Jun 2019 16:06:58 +0100 | Chengsong | now correct | file | diff | annotate |
| Tue, 25 Jun 2019 22:43:21 +0100 | Christian Urban | deleted data-files and further unnecessary parts in data.sty | file | diff | annotate |
| Tue, 25 Jun 2019 18:56:52 +0100 | Chengsong | hi | file | diff | annotate |