merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLEd78bd4432f05: tuned name generation in tptp to not depend on shadowing
rISABELLEfa364c21df15: tuned - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- d02f91543bf1 mergedAuthor
- 3883f536d84d unused (see 29566b6810f7);Author
- b44b2d2380f0 tuned signature;Author
- 8f586c241071 tuned signature;Author
- 3c09adb4b042 tuned signature;Author
- 16fd39c9e31f tuned signature;Author
- 8732315dfafa tuned signature;Author
- 4e4b4298f1e7 tuned imports;Author
- 86eff7a823f3 tuned messages;Author
- 4e63acc435bd minor updates on look-and-feel;Author
- dc9f43a9ad23 update on platforms;Author
- fbdadf5760c2 updated test machines;Author
- 6751057a64b1 purge build dir;Author
- 42d75bf8725c parallel jobs for make;Author
- 970bad477c13 clarified default name;Author
- 1b0f81e556a2 accommodate OpenJDK 15;Author
- 1dc2ad97e062 more informative error;Author
- 220a094a42d8 proper else statement;Author
- 80465b791f95 clarified messages;Author
- 313c281766cd clarified messages;Author
- 847c6fb05a21 clarified messages;Author
- 2206502637e4 clarified types;Author
- 530534f2f0fd clarified types;Author
- 90e28f005be9 tuned messages;Author
- 1d21b4c8023d tuned signature;Author
- a261946dafa3 tuned messages;Author