more antiquotations;

retain traditional rendering of \<paragraph>;

added glyphs 0x204b, 0x2b1a from DejaVuSansMono;

tuned;

tuned

tuned

updating options to verit

isabelle update_cartouches -c -t;

isabelle update_cartouches -c -t;

IsabelleText for unusual symbol;

isabelle update_cartouches -c;

merged

Convertd to 3-way comparisons

isabelle update_cartouches -c;

symbolic syntax "\<comment> text";

avoid ligatures;

added propertional dashes from DejaVuSans (not Mono): 0x2013, 0x2014, 0x2015;

tuned whitespace;

tuned whitespace;

tuned whitespace;

updated;

more antiquotations;

document antiquotation @{footnote}; render \<^footnote> as pilcrow -- the rarely used \<paragraph> loses its interpretation;

dummy input handler to imitate former read-only mode, which has changed its meaning in jedit-5.3.0 as mere hint for saving;

eliminated Nitpick's pedantic support for 'emdash'

tuned;

NEWS;

Keyword 'rewrites' identifies rewrite morphisms.

Qualifiers in locale expressions default to mandatory regardless of the command.

merged

tuned signature;

prefer Isabelle/Scala Future;

prefer Isabelle/Scala Future;

tuned imports;

more direct task future implementation, with proper cancel operation; more uniform Future.thread;

tuned;

prefer ad-hoc non-worker threads;

clarified modules;

cancel already running request;

added acknowledgement in Binomial.thy

Merged

Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer

don't pollute local theory with needless names

allow selectors and discriminators with same name as type

make sure that function types are never generated as '> @ A @ B', but always as 'A > B'

merged

avoid premature flushing and thus flashing of text area;

tuned whitespace;

clarified Query_Operation.State, with separate instance to avoid extra flush (see also 6ddeb83eb67a);

redundant;

tuned whitespace;

tuned document;

tuned document;

tuned document;

isabelle update_cartouches -t;

avoid highlighted area getting "stuck" after edit;

clarified completion of Isabelle symbols within document source;

more accurate imports: allow re-uses of base names in PIDE interaction (amending 60c159d490a2);

merged

tuned names and optimized comparison order

updated CVC4 component to deal with paths with whitespace

Merged

Rounding function, uniform limits, cotangent, binomial identities

merged

back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;

global start time as reference point;

tuned signature -- clarified modules;

obsolete (see 9c6346319eee, 7924d61b50cf);

added splay trees

added many small lemmas about setsum/setprod/powr/...

no icons here -- not a standalone window;

workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard;

removed presumably obsolete workaround (see 7924d61b50cf);

Cauchy's integral formula, required lemmas, and a bit of reorganisation

merged

new lemmas about topology, etc., for Cauchy integral formula

adapted to 436b7fe89cdc

clarified Latex.environment (again, amending e16649b70107): avoid additional paragraph, e.g. relevant for option [display];

added 234-trees (slow)

added 234-Trees (slow)

tuned

more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;

updated to jedit-5.3.0 and SideKick 1.8;

updated to jdk-8u66;

print thm wrt. local shyps (from full proof context); tuned;

clarified modules; tuned signature;

proper transfer of stored facts;

tuned;

more robust ASCII output: avoid ligatures of quotes;

tuned;

more control symbols; tuned;

clarified scan_cartouche_depth (amending 8284c0d5bf52): finish after outermost cartouche;

rendering for \<^verbatim>;

Isabelle fonts via external component;

tuned document;

tuned document;

added glyphs 0x25a9 from DejaVuSansMono;

removed generated files from repository;

tuned;

proper spaces around @{text};

isabelle update_cartouches -t;

added isabelle update_cartouches option -t;

another antiquotation short form: undecorated cartouche as alias for @{text}; document antiquotation @{text} ignores option "source";

repaired document;

more symbols; tunes whitespace;

tuned English;

more symbols, with swapped defaults: old-style ASCII syntax uses "ASCII" print mode;

tuned document;

merged

avoid odd permissions of fresh tmp_file;

added action "isabelle-emph"; changed shortcut of action "isabelle-reset";

tuned;

tuned;

tuned text

tuned;

merged

more control symbols;

tuned signature;

tuned signature;

clarified;