| Wed, 25 Sep 2024 12:59:43 +0200 | wenzelm | clarified persistent datatype: more direct literal_markup, which also serves as a flag; | changeset | files |
| Wed, 25 Sep 2024 10:48:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 25 Sep 2024 10:38:46 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 23 Aug 2024 15:30:09 +0200 | Fabian Huch | add comments to rendering, e.g. to collect them from build database; | changeset | files |
| Thu, 26 Sep 2024 14:44:37 +0100 | paulson | To tiny but maybe useful lemmas (moved in from the AFP, Word_Lib) | changeset | files |
| Tue, 24 Sep 2024 21:41:01 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 21:31:20 +0200 | wenzelm | tuned; | changeset | files |