support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEdedd7952a62c: manage option "proofs" within theory context -- with minor overhead for…
- Branches
- Unknown
- Tags