| Mon, 31 Oct 2022 21:44:34 +0100 | wenzelm | support for FoilTeX with demo document; | changeset | files |
| Mon, 31 Oct 2022 17:59:33 +0100 | wenzelm | tuned comments; | changeset | files |
| Mon, 31 Oct 2022 17:13:57 +0100 | wenzelm | tuned whitespace for "isabelle doc" display; | changeset | files |
| Mon, 31 Oct 2022 17:10:13 +0100 | wenzelm | support for Easychair style with demo document; | changeset | files |
| Mon, 31 Oct 2022 15:50:13 +0100 | wenzelm | support for Dagstuhl LIPIcs style with demo document; | changeset | files |
| Mon, 31 Oct 2022 11:04:54 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 29 Oct 2022 21:36:33 +0200 | wenzelm | tuned signature; | changeset | files |