| Tue, 26 Mar 2024 12:00:08 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 26 Mar 2024 11:45:49 +0100 | wenzelm | tuned messages; | changeset | files |
| Tue, 26 Mar 2024 11:32:16 +0100 | wenzelm | update to bash_process-20240326; | changeset | files |
| Tue, 26 Mar 2024 11:15:48 +0100 | wenzelm | build bash_process in Isabelle/Scala, with etc/platforms.prop to preserve all platform directories (e.g. for SSH upload); | changeset | files |
| Tue, 26 Mar 2024 10:30:41 +0100 | wenzelm | clarified meaning of platform.props: update on default; | changeset | files |
| Tue, 26 Mar 2024 16:01:54 +0100 | Fabian Huch | allow raw input in HTML (e.g., for web applications); | changeset | files |
| Tue, 26 Mar 2024 09:31:34 +0100 | desharna | added lemmas wfp_on_inv_imagep, wfp_on_if_convertible_to_wfp_on, and wf_on_if_convertible_to_wf_on | changeset | files |
| Tue, 26 Mar 2024 06:32:38 +0100 | desharna | merged | changeset | files |