| Sun, 06 Nov 2022 22:20:51 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Sun, 06 Nov 2022 22:17:28 +0100 | wenzelm | support for EPTCS style with demo document; | file | diff | annotate |
| Fri, 04 Nov 2022 20:15:54 +0100 | wenzelm | support for Springer LLNCS with demo document; | file | diff | annotate |
| Mon, 31 Oct 2022 21:44:34 +0100 | wenzelm | support for FoilTeX with demo document; | file | diff | annotate |
| Mon, 31 Oct 2022 17:13:57 +0100 | wenzelm | tuned whitespace for "isabelle doc" display; | file | diff | annotate |
| Mon, 31 Oct 2022 17:10:13 +0100 | wenzelm | support for Easychair style with demo document; | file | diff | annotate |
| Mon, 31 Oct 2022 15:50:13 +0100 | wenzelm | support for Dagstuhl LIPIcs style with demo document; | file | diff | annotate |