merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4f2215cfc3e0: Added tag Isabelle2023-RC5 for changeset ffa417b5c913
rISABELLEc42f316f0a01: tuned NEWS; - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- 5ee978b3c009 tuned messages;Author
- 26a02b042fe0 clarified signature;Author
- 0beb46a96cf3 clarified output;Author
- 37a0c953649d clarified signature;Author
- 0649be5c3036 tuned message;Author
- 8d7394e533f8 tuned whitespace;Author