merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE2c2de074832e: tidying and removal of legacy name
rISABELLE90868036d693: clarified signature; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 2d9a70b85009 tuned whitespace;Author
- 90868036d693 clarified signature;Author
- d0ba71b3297e tuned messages;Author
- efc5ae4b4ac8 tuned messages;Author
- 166fc8b9b4cd tunedAuthor
- cc27cf7e51c6 consolidated terminologyAuthor
- 7e0e497dacbc avoid baroque exportAuthor
- 86f8fcdcff4a clarified message;Author
- b8b97c49e339 tuned signature;Author
- 8e38c8405788 clarified options;Author
- 7924c7d2d9d9 more explicit MinGW context;Author
- def95a34df8e clarified signature;Author
- d0937d55eb90 clarified errors;Author
- 10c07d224035 tuned signature;Author
- f8aa2efce869 more explicit MinGW context;Author
- 9d59738102b8 more libs for build_csdp;Author
- 992822a11039 more standard build from sources;Author
- 783c3a47d57c tuned message;Author
- 2daa5f549687 misc tuning;Author
- 31ddd23965e6 tuned mirabelle documentationAuthor
- abfeed05c323 tune filenameAuthor
- 5d1a7b688f6d recognize THF proofs properlyAuthor
- 5fac6c50e6d5 tuned signature;Author