| Wed, 02 Nov 2022 10:24:44 +0100 | wenzelm | clarified signature: do not require finished theory; | changeset | files |
| Wed, 02 Nov 2022 09:47:27 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 02 Nov 2022 18:58:38 +0100 | desharna | merged | changeset | files |
| Fri, 28 Oct 2022 15:39:35 +0200 | desharna | added lemmas multp_mono_strong and mult_mono_strong | changeset | files |
| Mon, 31 Oct 2022 21:58:08 +0100 | wenzelm | merged | changeset | files |
| 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 |