Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- more GUI elements;
- clarified signature;
- tuned;
- tuned, following hints by IntelliJ IDEA;
- clarified signature --- more operations;
- clarified signature --- simplified types;
- tuned signature;
- proper toString for Content_XML, which is not covered by trait Content;
- clarified output;
- clarified signature: support different document_session, e.g. within running PIDE session;
- unused (despite cf52379c0776);
- tuned, following hints by IntelliJ IDEA;
- unused (see 696819fe2424);
- clarified signature;
- basic setup for document build panel;
- tuned, following hints by IntelliJ IDEA;
- tuned, following hints by IntelliJ IDEA;
- tuned;
- clarified signature;
- tuned, following hints by IntelliJ IDEA;
- tuned, following hints by IntelliJ IDEA;
- tuned signature;
- tuned signature;
- tuned signature, following hints by IntelliJ IDEA;
- added support for cvc5 (whose interface is almost identical to CVC4)