| 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 |
| Tue, 24 Sep 2024 21:24:44 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 20:10:11 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 19:58:24 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 18:25:36 +0200 | wenzelm | minor performance tuning for blocks without markup; | changeset | files |
| Tue, 24 Sep 2024 18:17:39 +0200 | wenzelm | more markup <expression kind="item"> in Isabelle/Scala, with pro-forma Markup_Kind.setup in Isabelle/ML; | changeset | files |
| Tue, 24 Sep 2024 17:57:42 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 24 Sep 2024 17:41:05 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 17:35:24 +0200 | wenzelm | minor performance tuning: more direct blocks without markup; | changeset | files |
| Tue, 24 Sep 2024 17:31:12 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2024 17:27:56 +0200 | wenzelm | tuned signature; | changeset | files |