tuned;

updated for release;

tuned proofs;

tuned proofs;

updated to jedit_build-20130910 (with update of jedit.jar and Highlight.jar);

disable some key event workarounds going back to Matthieu Casanova (08-Dec-2007) and Slava Pestov (until 2005) -- lets hope that Java 7 works more uniformly with numeric keypads;

tuned proofs;

discontinued obsolete command-line tool "isabelle build_dialog";

updated docs

speed up often-called function

got rid of currently unused data structure, to speed up relevance filter

adjusted number of generated monomorphic instances for new monomorphizer based on new evaluation (E, SPASS, Vampire)

sorted out dependencies

faster detection of tautologies

slight speed optimization

got rid of another slowdown factor in relevance filter

removed completely needless, inefficient code

minor speed optimization

got rid of another taboo that appears to make no difference in practice (and that slows down the relevance filter)

avoid double traversal of term

got rid of old, needless logic

moved ML function closer to its remaining use

faster uniquification

stronger fact normalization

gracefully handle huge thys

speed up detection of simp rules

don't be so verbose about SMT solver failures

tuned;