| 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 |
| Fri, 28 Oct 2022 16:25:44 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Oct 2022 16:14:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 28 Oct 2022 15:59:06 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 28 Oct 2022 15:46:20 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Oct 2022 15:42:59 +0200 | wenzelm | tuned signature, following hints by IntelliJ IDEA; | changeset | files |
| Fri, 28 Oct 2022 06:34:26 +0000 | haftmann | restructured | changeset | files |
| Fri, 28 Oct 2022 06:34:25 +0000 | haftmann | modulus for polynomials is invariant wrt. units | changeset | files |
| Fri, 28 Oct 2022 13:18:27 +0200 | wenzelm | proper Java syntax (amending ea79c21bcc47); | changeset | files |
| Fri, 28 Oct 2022 13:15:11 +0200 | wenzelm | reactivate emerging tool after release (see 322f2e2799a7); | changeset | files |