Fri, 25 Nov 2022 14:44:22 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Fri, 25 Nov 2022 13:38:15 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Sun, 20 Nov 2022 23:37:54 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
Fri, 04 Nov 2022 20:15:54 +0100 | wenzelm | support for Springer LLNCS with demo document; | file | diff | annotate |