merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE032c76e04475: clarified execution context: main work happens within Future.thread;
rISABELLEdf1150ec6cd7: merged - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- cdf5f392ea78 there won't be an E version 2.7Author
- 110988ad5b4c compileAuthor
- 4cdefee3f97f more robust E proof parsingAuthor
- 73611eb994cf slightly more documentationAuthor
- 779faa014564 renamed new Sledgehammer optionAuthor
- e10f15652026 updated documentationAuthor
- f6cb40234009 tuningAuthor