merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE20093a63d03b: updated to scala-parser-combinators 2.1.0, which also fits to scala-3.0.2;
rISABELLEc2532adbfa3e: added documentation - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- c2532adbfa3e added documentationAuthor
- bdab2daa2779 further tweaked E's setupAuthor
- 307a0ae5f978 tweaked E setupAuthor
- 1bad148d894f post-merged into new Lethe codeAuthor
- 366f85a10407 NEWS and CONTRIBUTORSAuthor
- cf09060add1c nicer TPTP outputAuthor
- 4b8da5eef9d0 regeneratedAuthor
- 528768bc7bd0 tunedAuthor
- 1d08a01a7abb tunedAuthor
- 9257e7732766 tuned argumentsAuthor
- 26206ade1a23 structurally tunedAuthor
- cbefaa400da2 tuned namesAuthor
- 05f7f5454cb6 prefer build combinatorAuthor
- 96c19d03b5a5 tuned whitespaceAuthor