15 months ago wenzelm 2018-01-14 support for completion;
15 months ago wenzelm 2018-01-14 allow LaTeX source as formal comment;
15 months ago wenzelm 2018-01-14 clarified signature;
15 months ago wenzelm 2018-01-14 clarified SML (no formal comments) vs. Isabelle/ML (arbitrary comments);
15 months ago wenzelm 2018-01-14 clarified signature;
15 months ago wenzelm 2018-01-14 clarified modules: uniform notion of formal comments;
15 months ago wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
15 months ago wenzelm 2018-01-13 tuned messages;
15 months ago wenzelm 2018-01-13 merged
15 months ago wenzelm 2018-01-13 allow TeX comment % in formal comment body, but avoid extra space (cf. d7c6054b2ab1);
15 months ago wenzelm 2018-01-13 tuned;
15 months ago wenzelm 2018-01-13 tuned;
15 months ago wenzelm 2018-01-13 more general error suffixes, e.g. for messages that are broken over several lines;
15 months ago wenzelm 2018-01-13 another Latex error seen in the wild: Undefined control sequence. \isamarkupcancel #1->\xout
15 months ago wenzelm 2018-01-13 clarified default;
15 months ago wenzelm 2018-01-13 clarified formal comments;
15 months ago wenzelm 2018-01-13 prefer formal comments;
15 months ago wenzelm 2018-01-13 added \<^cancel> operator for unused text;
15 months ago wenzelm 2018-01-12 tuned;
15 months ago haftmann 2018-01-13 restored naming of lemmas after corresponding constants
15 months ago wenzelm 2018-01-12 prefer formal comments;
15 months ago wenzelm 2018-01-12 prefer formal text;
15 months ago wenzelm 2018-01-12 prefer formal comments;
15 months ago wenzelm 2018-01-12 prefer formal comments;
15 months ago wenzelm 2018-01-12 isabelle update_cartouches -c;
15 months ago wenzelm 2018-01-11 uniform use of Standard ML op-infix -- eliminated warnings;
15 months ago wenzelm 2018-01-11 proper infix;
15 months ago nipkow 2018-01-11 line break before op was intentional
15 months ago nipkow 2018-01-10 typo
15 months ago nipkow 2018-01-10 tuned notation
15 months ago nipkow 2018-01-10 tuned
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
15 months ago nipkow 2018-01-10 Manual updates towards conversion of "op" syntax
15 months ago nipkow 2018-01-10 tuned op
15 months ago nipkow 2018-01-10 tuned op's
15 months ago wenzelm 2018-01-09 more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
15 months ago wenzelm 2018-01-09 uniform typesetting of \isamarkupcmt and \isasymcomment;
15 months ago wenzelm 2018-01-09 more accurate position for enclosing cartouche;
15 months ago wenzelm 2018-01-09 tuned;
15 months ago wenzelm 2018-01-09 clarified signature;
15 months ago wenzelm 2018-01-09 clarified presentation_state with provide presentation_context;
15 months ago wenzelm 2018-01-09 show only symbols with code;
15 months ago wenzelm 2018-01-09 clarified markup: more like outer syntax side-comment;
15 months ago wenzelm 2018-01-09 clarified rail token language: white space and formal comments;
15 months ago wenzelm 2018-01-09 clarified modules;
15 months ago wenzelm 2018-01-09 removed duplicate text;
15 months ago wenzelm 2018-01-09 clarified exception;
15 months ago wenzelm 2018-01-09 merged;
15 months ago wenzelm 2018-01-09 updated to 146757999c8d;
15 months ago wenzelm 2018-01-08 theory Pure is default presentation context;
15 months ago wenzelm 2018-01-08 clarified implicit Pure.thy;
15 months ago wenzelm 2018-01-08 prefer qualified names;
15 months ago wenzelm 2018-01-08 tuned;
15 months ago wenzelm 2018-01-08 check formal comments recursively, within arbitrary cartouches (unknown sublanguages);
15 months ago wenzelm 2018-01-08 more operations;
15 months ago wenzelm 2018-01-08 tuned;
15 months ago wenzelm 2018-01-08 clarified output (see also 909dcdec2122, 34d1913f0b20);
15 months ago wenzelm 2018-01-08 more operations;
15 months ago wenzelm 2018-01-08 tuned;
15 months ago paulson 2018-01-08 moved in some material from Euler-MacLaurin