| Sat, 05 Nov 2022 22:45:26 +0100 | wenzelm | tuned NEWS; | file | diff | annotate |
| Sat, 05 Nov 2022 22:35:20 +0100 | wenzelm | support for Dotnet / Fsharp platform, via dynamically installed Isabelle component; | file | diff | annotate |
| Fri, 04 Nov 2022 20:15:54 +0100 | wenzelm | support for Springer LLNCS with demo document; | file | diff | annotate |
| Wed, 02 Nov 2022 18:58:38 +0100 | desharna | merged | file | diff | annotate |
| Fri, 28 Oct 2022 15:39:35 +0200 | desharna | added lemmas multp_mono_strong and mult_mono_strong | 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:10:13 +0100 | wenzelm | support for Easychair style with demo document; | file | diff | annotate |