Fri, 04 Nov 2022 20:56:07 +0100 | wenzelm | tuned document; | file | diff | annotate |
Fri, 04 Nov 2022 20:32:20 +0100 | wenzelm | clarified LaTeX style; | file | diff | annotate |
Mon, 31 Oct 2022 17:10:13 +0100 | wenzelm | support for Easychair style with demo document; | file | diff | annotate |