| Wed, 27 Mar 2024 12:54:43 +0100 | wenzelm | clarified signature: explicit variable is easier to find in source; | changeset | files |
| Wed, 27 Mar 2024 12:50:37 +0100 | wenzelm | proper services for Setup_Tool --- avoid hardwired stuff; | changeset | files |
| Wed, 27 Mar 2024 10:54:47 +0100 | desharna | merged | changeset | files |
| Tue, 26 Mar 2024 09:33:33 +0100 | desharna | renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal | changeset | files |
| Tue, 26 Mar 2024 21:44:18 +0100 | wenzelm | more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML); | changeset | files |
| Tue, 26 Mar 2024 21:34:08 +0100 | wenzelm | more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51); | changeset | files |
| Tue, 26 Mar 2024 21:25:35 +0100 | wenzelm | misc tuning for release; | changeset | files |
| Tue, 26 Mar 2024 21:16:47 +0100 | wenzelm | merged; | changeset | files |