merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE991557e01814: renamed lemma wfP_iff_ex_minimal to wfp_iff_ex_minimal
rISABELLEac4412562c7b: more robust XML body: allow empty text, as well as arbitrary pro-forma markup… - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 339325fdb128 misc tuning for release;Author
- ce9b649ee2dd NEWS for "isabelle go_setup";Author
- f1686f71dffc proper platform_path for Windows;Author
- 07c83d3369c0 misc tuning, following go_setup;Author
- 6964a23f595a tuned comments;Author
- 31ebb6be32b0 tuned messages;Author
- 7e52091795e8 update to bash_process-20240326;Author