merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE06aeb9054c07: sorted as an abbreviation
rISABELLE4b1386b2c23e: mere abbreviation for logical alias - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 08def1cc6b33 avoid perl;Author
- 0e7a5c7a14c8 reactive "sledgehammer";Author
- b6d444194280 clarified command-line;Author
- 60519a7bfc53 clarified signature;Author
- 3ab18af9b2b5 clarified signature;Author
- 8444d4ff5646 clarified log content;Author
- 8c4ba5f61223 unused (see 8ffc607c345d);Author
- c17253cad5c6 tuned signature;Author