| 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 |
| Tue, 11 Dec 2018 21:33:20 +0100 | Tomas Zeman | Scalatex based article implementation | file | diff | annotate |