2015-11-10 wenzelm 2015-11-10 more thorough check_action, including completion;
2015-11-10 wenzelm 2015-11-10 tuned signature;
2015-11-10 wenzelm 2015-11-10 clarified modules;
2015-11-10 wenzelm 2015-11-10 more thorough check_command, including completion;
2015-11-10 wenzelm 2015-11-10 clarified modules;
2015-11-10 wenzelm 2015-11-10 unused;
2015-11-10 wenzelm 2015-11-10 ignore pointless/unused options;
2015-11-10 wenzelm 2015-11-10 added document antiquotation @{theory_text}; tuned document;
2015-11-10 wenzelm 2015-11-10 allow open symboloid;
2015-11-10 fleury 2015-11-10 generalized so that is also works for veriT proofs
2015-11-10 fleury 2015-11-10 fixing premises in veriT proof reconstruction
2015-11-10 paulson 2015-11-10 Merge
2015-11-10 paulson 2015-11-10 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 2015-11-10 subdegree/shift/cutoff and Euclidean ring instance for formal power series
2015-11-09 wenzelm 2015-11-09 prefer static Font -- evade spontaneous change of TextField.font seen with Metal L&F in Plugin Options / Isabelle / General / Apply;
2015-11-09 wenzelm 2015-11-09 uniform mandatory qualifier for all locale expressions, including 'statespace' parent; removed obsolete '!' syntax;
2015-11-09 wenzelm 2015-11-09 qualifier is mandatory by default;
2015-11-09 wenzelm 2015-11-09 prefer explicit State panel;
2015-11-09 wenzelm 2015-11-09 suppress already persistent state output as well;
2015-11-08 wenzelm 2015-11-08 added option timeout_scale;
2015-11-07 wenzelm 2015-11-07 syntactic completion may supersede semantic completion, e.g. relevant for "\undefined" vs. "undefined" in ML;
2015-11-07 wenzelm 2015-11-07 clarified completion of explicit symbols (see also f6bd97a587b7, e0e4ac981cf1);
2015-11-07 wenzelm 2015-11-07 tuned;
2015-11-07 wenzelm 2015-11-07 less confusing markup;
2015-11-07 wenzelm 2015-11-07 added @{undefined} with somewhat undefined symbol;
2015-11-07 wenzelm 2015-11-07 ML cartouches via control antiquotation;
2015-11-06 wenzelm 2015-11-06 more formal treatment of control symbols;
2015-11-06 wenzelm 2015-11-06 more antiquotations;
2015-11-06 wenzelm 2015-11-06 more antiquotations;
2015-11-06 wenzelm 2015-11-06 retain traditional rendering of \<paragraph>;
2015-11-06 wenzelm 2015-11-06 added glyphs 0x204b, 0x2b1a from DejaVuSansMono;
2015-11-06 wenzelm 2015-11-06 tuned;
2015-11-06 nipkow 2015-11-06 tuned
2015-11-05 nipkow 2015-11-05 tuned
2015-11-05 fleury 2015-11-05 updating options to verit
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-11-05 wenzelm 2015-11-05 IsabelleText for unusual symbol;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c;
2015-11-05 nipkow 2015-11-05 merged
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c;
2015-11-05 wenzelm 2015-11-05 symbolic syntax "\<comment> text";
2015-11-04 wenzelm 2015-11-04 avoid ligatures;
2015-11-04 wenzelm 2015-11-04 added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-11-04 wenzelm 2015-11-04 tuned whitespace;
2015-11-04 wenzelm 2015-11-04 updated;
2015-11-04 wenzelm 2015-11-04 more antiquotations;
2015-11-04 wenzelm 2015-11-04 document antiquotation @{footnote}; render \<^footnote> as pilcrow -- the rarely used \<paragraph> loses its interpretation;
2015-11-04 wenzelm 2015-11-04 dummy input handler to imitate former read-only mode, which has changed its meaning in jedit-5.3.0 as mere hint for saving;
2015-11-04 blanchet 2015-11-04 eliminated Nitpick's pedantic support for 'emdash'
2015-11-04 wenzelm 2015-11-04 tuned;
2015-11-04 wenzelm 2015-11-04 NEWS;
2015-11-04 ballarin 2015-11-04 Keyword 'rewrites' identifies rewrite morphisms.
2015-11-04 ballarin 2015-11-04 Qualifiers in locale expressions default to mandatory regardless of the command.
2015-11-03 wenzelm 2015-11-03 merged
2015-11-03 wenzelm 2015-11-03 tuned signature;
2015-11-03 wenzelm 2015-11-03 prefer Isabelle/Scala Future;