support for bibtex token markup; more robust ML token marker: no_context; tuned signature;

more explicit item kind; clarified recover_delimited: skip to next @; support for line context parsing; tuned signature;

strict spaces for item_start: despite actual bibtex syntax, but in accordance to bibtex modes in Emacs and jEdit;

SideKick parser for bibtex entries; tuned signature;

more buffer.isEditable checks;

context menu for bibtex entries;

some support for bibtex files;

tuned

tuned

accomplish potentially case-insenstive file systems for Scala

tuned

merge

more precise lemma insertion

insert lemmas closer to where they are needed, both for esthetics and (primarily) for correctness in case the lemma refers to a skolem

avoid duplicate 'obtain' in veriT Isar proofs, by removing dubious condition

eliminate duplicate hypotheses (which can arise due to (un)clausification)

formal lcm definition for polynomials

moved lemmas out of Int.thy which have nothing to do with int

redundant: dropped

tuned Heap_Monad.successE

documentation

fixed a few mistakes in the documentation

tuning

'moura' method is also useful for reconstructing skolemization of lambda-lifting of formulas for other provers than Z3

actually finish after closing, e.g. relevant for consecutive (**)(**);

tuned

tuned;

tuned