Sun, 10 Dec 2017 14:45:12 +0100 | wenzelm | more robust Windows support; | file | diff | annotate |
Sun, 10 Dec 2017 14:29:14 +0100 | wenzelm | more explicit latex errors; | file | diff | annotate |
Fri, 08 Dec 2017 23:43:58 +0100 | wenzelm | some support for LaTeX; | file | diff | annotate |