2015-11-13 wenzelm added antiquotation @{doc}, e.g. useful for demonstration purposes;
2015-11-13 wenzelm preserve names of for-fixes for faithfully;
2015-11-13 wenzelm more documentation;
2015-11-13 wenzelm tuned whitespace;
2015-11-13 wenzelm more uniform jEdit properties;
2015-11-13 wenzelm avoid vacuous quantification, as usual for shared variable scope;
2015-11-13 wenzelm support for structure statements in 'assume', 'presume';
2015-11-12 wenzelm support short form for \<^theory_text>;
2015-11-13 paulson MIR decision procedure again working
2015-11-13 nipkow unnecessary precondition
2015-11-13 paulson Merge
2015-11-13 paulson Tweaks for "real": Removal of [iff] status for some lemmas, adding [simp] for others. Plus fixes.
2015-11-13 nipkow tuned name
2015-11-13 nipkow tuned
2015-11-12 blanchet use cartouches instead of backquotes
2015-11-12 nipkow translation for conjunctive premises
2015-11-12 nipkow tuned
2015-11-12 nipkow added proof state output warning
2015-11-11 nipkow tuned
2015-11-11 nipkow merged
2015-11-11 nipkow no CRLF
2015-11-11 paulson new conversion theorems for int, nat to float
2015-11-11 nipkow merged
2015-11-11 nipkow uniform proof of lemmas
2015-11-11 Andreas Lochbihler merged
2015-11-11 Andreas Lochbihler adapt to 90f54d9e63f2
2015-11-11 Andreas Lochbihler add various lemmas
2015-11-11 Andreas Lochbihler add lemmas
2015-11-11 Andreas Lochbihler generalise lemma
2015-11-11 Andreas Lochbihler add lemmas for extended nats and reals
2015-11-11 Andreas Lochbihler add various lemmas
2015-11-11 Andreas Lochbihler cancel complementary terms as arguments to sup/inf in boolean algebras
2015-11-11 Andreas Lochbihler add lemmas about monoids and groups
2015-11-11 nipkow tuned
2015-11-10 wenzelm recovered from a9c0572109af;
2015-11-10 wenzelm merged
2015-11-10 wenzelm tuned whitespace;
2015-11-10 wenzelm added @{command}, @{method}, @{attribute};
2015-11-10 wenzelm smart quoting of non-identifiers, e.g. jEdit actions;
2015-11-10 wenzelm more thorough check_action, including completion;
2015-11-10 wenzelm tuned signature;
2015-11-10 wenzelm clarified modules;
2015-11-10 wenzelm more thorough check_command, including completion;
2015-11-10 wenzelm clarified modules;
2015-11-10 wenzelm unused;
2015-11-10 wenzelm ignore pointless/unused options;
2015-11-10 wenzelm added document antiquotation @{theory_text};
2015-11-10 wenzelm allow open symboloid;
2015-11-10 fleury generalized so that is also works for veriT proofs
2015-11-10 fleury fixing premises in veriT proof reconstruction
2015-11-10 paulson Merge
2015-11-10 paulson Coercion "real" now has type nat => real only and is no longer overloaded. Type class "real_of" is gone. Many duplicate theorems removed.
2015-11-10 eberlm subdegree/shift/cutoff and Euclidean ring instance for formal power series
2015-11-09 wenzelm prefer static Font -- evade spontaneous change of TextField.font seen with Metal L&F in Plugin Options / Isabelle / General / Apply;
2015-11-09 wenzelm uniform mandatory qualifier for all locale expressions, including 'statespace' parent;
2015-11-09 wenzelm qualifier is mandatory by default;
2015-11-09 wenzelm prefer explicit State panel;
2015-11-09 wenzelm suppress already persistent state output as well;
2015-11-08 wenzelm added option timeout_scale;
2015-11-07 wenzelm syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip