| Thu, 13 Dec 2018 17:33:35 +0100 | Tomas Zeman | Content: type annotations | file | diff | annotate |
| Thu, 13 Dec 2018 14:21:10 +0100 | Tomas Zeman | Scalatex article as primary format | file | diff | annotate |
| Tue, 11 Dec 2018 21:37:53 +0100 | Tomas Zeman | Import cleanup | file | diff | annotate |