merged;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE4586e90573ac: more robust GUI initialization (amending 29441f2bfe81);
rISABELLEd7e0b6620c07: tuned type signature - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- d7e0b6620c07 tuned type signatureAuthor
- 96d5fa32f0f7 tuned type signatureAuthor
- 83e4b6a5e7de streamlined theoremsAuthor
- dc758531077b streamlined theoremsAuthor
- 77cbf472fcc9 reintroduced SPASS to the mixAuthor