2015-10-25 nipkow 2015-10-25 added 234-trees (slow)
2015-10-25 nipkow 2015-10-25 added 234-Trees (slow)
2015-10-25 nipkow 2015-10-25 tuned
2015-10-24 wenzelm 2015-10-24 more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
2015-10-23 wenzelm 2015-10-23 updated to jedit-5.3.0 and SideKick 1.8;
2015-10-23 wenzelm 2015-10-23 updated to jdk-8u66;
2015-10-23 wenzelm 2015-10-23 print thm wrt. local shyps (from full proof context); tuned;
2015-10-23 wenzelm 2015-10-23 clarified modules; tuned signature;
2015-10-23 wenzelm 2015-10-23 proper transfer of stored facts;
2015-10-22 wenzelm 2015-10-22 tuned;
2015-10-22 wenzelm 2015-10-22 more robust ASCII output: avoid ligatures of quotes;
2015-10-22 wenzelm 2015-10-22 tuned;
2015-10-22 wenzelm 2015-10-22 more control symbols; tuned;
2015-10-22 wenzelm 2015-10-22 clarified scan_cartouche_depth (amending 8284c0d5bf52): finish after outermost cartouche;
2015-10-21 wenzelm 2015-10-21 rendering for \<^verbatim>;
2015-10-21 wenzelm 2015-10-21 Isabelle fonts via external component;
2015-10-21 wenzelm 2015-10-21 tuned document;
2015-10-21 wenzelm 2015-10-21 tuned document;
2015-10-21 wenzelm 2015-10-21 added glyphs 0x25a9 from DejaVuSansMono;
2015-10-21 wenzelm 2015-10-21 removed generated files from repository;
2015-10-21 wenzelm 2015-10-21 tuned;
2015-10-21 wenzelm 2015-10-21 proper spaces around @{text};
2015-10-20 wenzelm 2015-10-20 isabelle update_cartouches -t;
2015-10-20 wenzelm 2015-10-20 added isabelle update_cartouches option -t;
2015-10-20 wenzelm 2015-10-20 another antiquotation short form: undecorated cartouche as alias for @{text}; document antiquotation @{text} ignores option "source";
2015-10-19 wenzelm 2015-10-19 repaired document;
2015-10-19 wenzelm 2015-10-19 more symbols; tunes whitespace;
2015-10-19 wenzelm 2015-10-19 tuned English;
2015-10-19 wenzelm 2015-10-19 more symbols, with swapped defaults: old-style ASCII syntax uses "ASCII" print mode;
2015-10-19 wenzelm 2015-10-19 tuned document;
2015-10-19 wenzelm 2015-10-19 merged
2015-10-19 wenzelm 2015-10-19 avoid odd permissions of fresh tmp_file;
2015-10-19 wenzelm 2015-10-19 added action "isabelle-emph"; changed shortcut of action "isabelle-reset";
2015-10-19 wenzelm 2015-10-19 tuned;
2015-10-19 wenzelm 2015-10-19 tuned;
2015-10-19 nipkow 2015-10-19 tuned text
2015-10-18 wenzelm 2015-10-18 tuned;
2015-10-18 wenzelm 2015-10-18 merged
2015-10-18 wenzelm 2015-10-18 more control symbols;
2015-10-18 wenzelm 2015-10-18 tuned signature;
2015-10-18 wenzelm 2015-10-18 tuned signature;
2015-10-18 wenzelm 2015-10-18 clarified;
2015-10-18 wenzelm 2015-10-18 clarified control antiquotations: decode control symbol to get name; document antiquotations @{emph}, @{bold}; symbol interpretation for \<^emph>; tuned;
2015-10-18 wenzelm 2015-10-18 more documentation;
2015-10-18 wenzelm 2015-10-18 support control symbol antiquotations;
2015-10-18 wenzelm 2015-10-18 clarified Symbol.is_control;
2015-10-18 nipkow 2015-10-18 added 2-3 trees (simpler and more complete than the version in ex/Tree23)
2015-10-17 haftmann 2015-10-17 code abbreviation for mapping over a fixed range
2015-10-17 wenzelm 2015-10-17 back to lxbroy3, which appears to be free at the moment;
2015-10-17 wenzelm 2015-10-17 tuned signature;
2015-10-17 wenzelm 2015-10-17 merged
2015-10-17 wenzelm 2015-10-17 more uniform command setup;
2015-10-17 wenzelm 2015-10-17 added 'paragraph', 'subparagraph';
2015-10-17 wenzelm 2015-10-17 clarified Latex.environment;
2015-10-17 wenzelm 2015-10-17 more explicit output of list items;
2015-10-17 wenzelm 2015-10-17 tuned;
2015-10-17 wenzelm 2015-10-17 clarified nesting of paragraphs: indentation is taken into account more uniformly; tuned;
2015-10-16 wenzelm 2015-10-16 Markdown support in document text;
2015-10-16 wenzelm 2015-10-16 clarified Antiquote.antiq_reports; Thy_Output.output_text: support for markdown (inactive); eliminared Thy_Output.check_text -- uniform use of Thy_Output.output_text;
2015-10-15 wenzelm 2015-10-15 trim_blanks after read, before eval; clarified Raw_Token: uniform output_text; tuned signature;