13 hours ago bulwahn 2018-01-20 add lemma on lists from Falling_Factorial_Sum entry default tip
33 hours ago wenzelm 2018-01-19 merged
33 hours ago wenzelm 2018-01-19 avoid evaluation of embedded comment;
33 hours ago wenzelm 2018-01-19 disable "display" style in marginal (line) comment;
34 hours ago wenzelm 2018-01-19 more uniform output of source / text / theory_text, with handling of formal comments etc.;
38 hours ago wenzelm 2018-01-19 sort completion result;
38 hours ago wenzelm 2018-01-19 recovered antiquotation check without latex mode (cf. dfc93f2b01ea);
38 hours ago wenzelm 2018-01-19 formal treatment of documentation names;
38 hours ago wenzelm 2018-01-19 support for completion;
41 hours ago wenzelm 2018-01-19 adapted to a5ca98950a91;
41 hours ago wenzelm 2018-01-19 tuned output of plain name;
42 hours ago wenzelm 2018-01-19 clarified signature;
42 hours ago wenzelm 2018-01-19 tuned;
42 hours ago wenzelm 2018-01-19 tuned;
2 days ago wenzelm 2018-01-18 unused;
2 days ago wenzelm 2018-01-18 clarified access to antiquotation options; define explicit variants of antiquotations; output proper Latex.text; misc tuning and clarification;
2 days ago wenzelm 2018-01-18 more operations;
3 days ago wenzelm 2018-01-17 tuned signature;
3 days ago wenzelm 2018-01-17 discontinued unused wrapper: print_mode is provided directly;
37 hours ago nipkow 2018-01-19 corrected name
37 hours ago nipkow 2018-01-19 moved from AFP/Gromov
41 hours ago nipkow 2018-01-19 moved from AFP/Gromov
44 hours ago nipkow 2018-01-19 added lemma
2 days ago nipkow 2018-01-18 moved from AFP/Gromov
2 days ago nipkow 2018-01-18 moved t3/t4 space from AFP/Gromov to here.
2 days ago nipkow 2018-01-18 more automation
3 days ago nipkow 2018-01-17 more lemmas by Gouezele
3 days ago nipkow 2018-01-17 move lemmas by Gouezel to distribution
4 days ago ballarin 2018-01-16 Experimental support for rewrite morphisms in locale instances.
4 days ago wenzelm 2018-01-16 tuned signature;
4 days ago wenzelm 2018-01-16 more documentation;
4 days ago wenzelm 2018-01-16 clarified markup;
4 days ago wenzelm 2018-01-16 discontinued old form of marginal comments;
4 days ago wenzelm 2018-01-16 tuned document;
4 days ago wenzelm 2018-01-16 clarified comments;
4 days ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
4 days ago wenzelm 2018-01-16 uniform treatment of old-style and new-style comments;
4 days ago wenzelm 2018-01-16 tuned signature;
5 days ago wenzelm 2018-01-15 clarified markup;
5 days ago wenzelm 2018-01-15 more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>;
5 days ago wenzelm 2018-01-15 clarified modules; more operations;
5 days ago nipkow 2018-01-15 tuned
6 days ago wenzelm 2018-01-14 eliminated clones;
6 days ago wenzelm 2018-01-14 trim blanks -- more thoroughly than in update_cartouches (for single-line comments);
6 days ago wenzelm 2018-01-14 more operations (as in ML);
6 days ago wenzelm 2018-01-14 more specific tool "isabelle update_comments", for uniformity with formal comments in embedded languages;
6 days ago wenzelm 2018-01-14 clarified Token.is_text (cf. Parse.text in ML);
6 days ago wenzelm 2018-01-14 more operations;
6 days ago wenzelm 2018-01-14 support for completion;
6 days ago wenzelm 2018-01-14 allow LaTeX source as formal comment;
6 days ago wenzelm 2018-01-14 clarified signature;
6 days ago wenzelm 2018-01-14 clarified SML (no formal comments) vs. Isabelle/ML (arbitrary comments);
6 days ago wenzelm 2018-01-14 clarified signature;
6 days ago wenzelm 2018-01-14 clarified modules: uniform notion of formal comments;
7 days ago wenzelm 2018-01-13 added glyph from "Deja Vu Sans Mono" font;
7 days ago wenzelm 2018-01-13 tuned messages;
7 days ago wenzelm 2018-01-13 merged
7 days ago wenzelm 2018-01-13 allow TeX comment % in formal comment body, but avoid extra space (cf. d7c6054b2ab1);
7 days ago wenzelm 2018-01-13 tuned;
7 days ago wenzelm 2018-01-13 tuned;