2015-10-18 wenzelm merged
2015-10-18 wenzelm more control symbols;
2015-10-18 wenzelm tuned signature;
2015-10-18 wenzelm tuned signature;
2015-10-18 wenzelm clarified;
2015-10-18 wenzelm clarified control antiquotations: decode control symbol to get name;
2015-10-18 wenzelm more documentation;
2015-10-18 wenzelm support control symbol antiquotations;
2015-10-18 wenzelm clarified Symbol.is_control;
2015-10-18 nipkow added 2-3 trees (simpler and more complete than the version in ex/Tree23)
2015-10-17 haftmann code abbreviation for mapping over a fixed range
2015-10-17 wenzelm back to lxbroy3, which appears to be free at the moment;
2015-10-17 wenzelm tuned signature;
2015-10-17 wenzelm merged
2015-10-17 wenzelm more uniform command setup;
2015-10-17 wenzelm added 'paragraph', 'subparagraph';
2015-10-17 wenzelm clarified Latex.environment;
2015-10-17 wenzelm more explicit output of list items;
2015-10-17 wenzelm tuned;
2015-10-17 wenzelm clarified nesting of paragraphs: indentation is taken into account more uniformly;
2015-10-16 wenzelm Markdown support in document text;
2015-10-16 wenzelm clarified Antiquote.antiq_reports;
2015-10-15 wenzelm trim_blanks after read, before eval;
2015-10-15 wenzelm clarified modules;
2015-10-15 wenzelm load markdown.ML into Pure;
2015-10-15 wenzelm proper recursive nesting of adjacent lists;
2015-10-15 wenzelm tuned;
2015-10-15 wenzelm clarified line content: source without marker prefix;
2015-10-15 wenzelm more markup;
2015-10-15 wenzelm report Markdown document structure;
2015-10-15 wenzelm more comments;
2015-10-15 wenzelm unused -- avoid confusion in Symbols dockable;
2015-10-15 wenzelm proper nesting of adjacent lists;
2015-10-15 wenzelm more document structure;
2015-10-14 wenzelm more document structure;
2015-10-14 wenzelm more document structure;
2015-10-14 wenzelm clarified;
2015-10-14 wenzelm minimal support for Markdown documents;
2015-10-14 wenzelm clarified;
2015-10-14 wenzelm more symbols;
2015-10-14 wenzelm more symbols;
2015-10-14 wenzelm clarified control symbols;
2015-10-14 wenzelm added glyphs 0x21e4, 0x21e5, 0x27a7 from DejaVuSansMono;
2015-10-13 wenzelm tuned signature (cf. XML.trim_blanks);
2015-10-13 wenzelm added split_lines;
2015-10-17 haftmann qualify some names stemming from internal bootstrap constructions
2015-10-15 blanchet removed too aggressive underscorization
2015-10-13 nipkow typo
2015-10-13 nipkow prefer undecorated typedef
2015-10-13 nipkow even -> evn to avoid clash with global even
2015-10-13 nipkow added invar empty
2015-10-13 paulson Fixed nonterminating "blast" proof
2015-10-13 paulson new material on path_component_sets, inside, outside, etc. And more default simprules
2015-10-13 haftmann restored print translation from a1141fb798ff, to prevent a printing misfit observable using "thm divmod_nat_if" in theory "Divides", with a meagure indication in the comment
2015-10-13 haftmann prod_case as canonical name for product type eliminator
2015-10-13 haftmann emphasized general nature of parameter
2015-10-13 haftmann moved lemmas
2015-10-12 wenzelm more symbols;
2015-10-12 wenzelm redundant due to \parindent 0pt;
2015-10-12 wenzelm isabelle update_cartouches;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip