merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE711cef61c0ce: Substantial de-applying and streamlining
rISABELLE2e849cebd65e: enforce rebuild of Isabelle/ML to update build databases; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- f88c239d1a83 tuned comments;Author
- 9ce0aa145d21 more uniform operations;Author
- d858e6f15da3 more command-line options;Author
- fc24cf493202 tuned signature;Author
- cb4b1fdebf85 updated documentation;Author
- de2e9a64d59b more options;Author
- 293c8a567f71 tuned message;Author
- 302bdbb3bc05 more robust;Author
- 54947a35ce86 more operations;Author
- 1bc50ffad6d2 tuned signature;Author
- a8eb5046b05f tuned signature;Author
- 0e01fa1699d2 tuned signature;Author
- 93ccf8b7a660 clarified signature;Author