| Sat, 05 Nov 2022 12:12:33 +0100 | wenzelm | clarified options: LLNCS works with LuaLaTeX and Isabelle sections, although Springer might not like it; | changeset | files |
| Sat, 05 Nov 2022 09:57:51 +0100 | nipkow | Better use the finite simproc selectively only | changeset | files |
| Fri, 04 Nov 2022 20:56:07 +0100 | wenzelm | tuned document; | changeset | files |