merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE3190ee65139b: Tidied a few more proofs
rISABELLE1bb677cceea4: let rsync re-use ssh connection via control path; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- a144603170b4 clarified command-line;Author
- c6e0a51f2a93 clarified command-line;Author
- c5fd7947f585 tuned signature;Author
- 2bb6eb6df6c2 proper port for Mercurial;Author
- b703cecf9bd0 proper Scala expression;Author
- 497e105a4618 clarified error;Author
- 3ae579092045 dropped auxiliary lemmaAuthor
- e8e3b60d8ecd clarified operation: avoid perl;Author
- 531248fd8952 discontinued unused operations;Author