| Sat, 20 Jan 2024 20:24:04 +0100 | wenzelm | update to llncs-2.23; | file | diff | annotate |
| Sun, 15 Jan 2023 18:30:18 +0100 | wenzelm | isabelle update -u cite; | file | diff | annotate |
| Fri, 04 Nov 2022 20:15:54 +0100 | wenzelm | support for Springer LLNCS with demo document; | file | diff | annotate |