merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE11de287ed481: tweaked tptp parsing when source info is missing
rISABELLEf931a2a68ab8: tuned comments; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- f931a2a68ab8 tuned comments;Author
- 2621225b4bdd proper relative path;Author
- 0d8bc0252e2e tuned signature;Author
- c007d0fa0938 tuned signature;Author
- 09479be1fe2a clarified nameAuthor
- f3d0e4ea492d download as in Isabelle/Scala;Author
- 19484bb038a8 more robust;Author
- 50c48773b954 more documentation;Author
- b945880827ff mergedAuthor
- 8b92a2ab5370 tuned running time functionsAuthor