merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE38803a6b3357: added lemma wfp_on_image and author name to theory
rISABELLE308ccc1ef982: proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 742e39db4d58 tuned message;Author
- 30eb547bda4a tuned NEWS;Author
- 0732ee5c8ee1 support for "all" platforms;Author
- b1e2246147eb clarified signature;Author
- ebd988ee1d57 more robust Markdown;Author
- 5c00c04f09fb misc tuning;Author
- 64e57aafca1e tuned order;Author
- a03a7d4b82f8 more Setup_Tool services;Author
- d1ac1bb01060 clarified signature;Author
- 27f2a6bd5616 proper SSH operations;Author
- c43a51fde4f5 tuned signature: more permissive;Author