merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE7bc934b99faf: added lemmas asym_if_irrefl_and_trans and asymp_if_irreflp_and_transp
rISABELLE5150e1f62c86: merged - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 1c1d7b3478b1 tuned GUI behaviour;Author
- aef247025f07 more GUI elements;Author
- 318c6b466ec0 clarified modules;Author
- d6a2a8bc40e1 tuned messages;Author
- 6dc213e7f664 tuned message;Author
- c7f3e94fce7b tuned messages and options;Author
- a82fc7755ba5 clarified check;Author
- 8f580e62ca6e tuned message;Author
- 0af64cc2eee9 tuned signature;Author
- 9fe5d8c70352 tuned signature;Author
- cee207c2ddec updated to sqlite-jdbc-3.39.4.1;Author
- 3706b88035d2 more direct target directory;Author
- cdbe20024038 update to scala-3.2.1;Author
- f3ebb16b5785 update to jdk-17.0.5 (Oct-2022);Author
- 2bf13b30b98e clarified signature;Author
- ded37aade88e clarified signature;Author
- 63f9ffa1625f prefer deterministic result;Author
- eb294dd8e266 compileAuthor