2012-11-28 wenzelm 2012-11-28 eliminated slightly odd identifiers;
2012-11-28 wenzelm 2012-11-28 tuned syntax, potentially more robust;
2012-11-28 wenzelm 2012-11-28 smarter list layout;
2012-11-27 wenzelm 2012-11-27 repaired text following 491c5c81c2e8;
2012-11-27 wenzelm 2012-11-27 merged
2012-11-27 hoelzl 2012-11-27 introduce filter_lim as a generatlization of tendsto
2012-11-27 wenzelm 2012-11-27 merged
2012-11-27 immler 2012-11-27 based countable topological basis on Countable_Set
2012-11-27 immler 2012-11-27 qualified interpretation of sigma_algebra, to avoid name clashes
2012-11-22 immler 2012-11-22 eliminated finite_set_sequence with countable set
2012-11-27 wenzelm 2012-11-27 support for sub-structured identifier syntax (inactive);
2012-11-27 wenzelm 2012-11-27 eliminated some improper identifiers;
2012-11-27 hoelzl 2012-11-27 add upper bounds for factorial and binomial; add equation for binomial using nat-division (both from AFP/Girth_Chromatic)
2012-11-26 wenzelm 2012-11-26 tuned signature; tuned;
2012-11-26 wenzelm 2012-11-26 more uniform Symbol.is_ascii_identifier in ML/Scala;
2012-11-26 wenzelm 2012-11-26 tuned;
2012-11-26 wenzelm 2012-11-26 clarified Symbol.scan_ascii_id; ATP: follow change from Symbol.scan_id to Symbol.scan_ascii_id, assuming that this was meant here, not fully symbolic Isabelle identifiers;
2012-11-26 wenzelm 2012-11-26 tuned;
2012-11-26 wenzelm 2012-11-26 convenience operations for table as set;
2012-11-26 wenzelm 2012-11-26 removed remains of Oheimb's double-space (cf. 0a5af667dc75);
2012-11-26 wenzelm 2012-11-26 tuned;
2012-11-26 wenzelm 2012-11-26 merged
2012-11-26 blanchet 2012-11-26 updated two components
2012-11-26 blanchet 2012-11-26 simplify code slightly
2012-11-26 blanchet 2012-11-26 avoid non-ASCII sign
2012-11-26 kuncar 2012-11-26 generate a parameterized correspondence relation
2012-11-26 kuncar 2012-11-26 quot_thm_crel
2012-11-26 kuncar 2012-11-26 add option_fold
2012-11-26 hoelzl 2012-11-26 add binomial_ge_n_over_k_pow_k
2012-11-26 blanchet 2012-11-26 removed tool that was never finished
2012-11-26 blanchet 2012-11-26 added file headers
2012-11-26 blanchet 2012-11-26 updated MaSh doc
2012-11-26 blanchet 2012-11-26 moved MaSh's Python code into Isabelle
2012-11-26 blanchet 2012-11-26 updated NEWS etc.
2012-11-26 blanchet 2012-11-26 distinguish declated tfrees from other tfrees -- only the later can be optimized away
2012-11-26 wenzelm 2012-11-26 clarified status of Legacy_XML_Syntax, despite lack of Proofterm_XML;
2012-11-26 wenzelm 2012-11-26 reset active areas on content update;
2012-11-26 wenzelm 2012-11-26 more general sendback properties; support for padding of line boundary, e.g. for ad-hoc insertion of commands via 'help';
2012-11-26 wenzelm 2012-11-26 tuned command descriptions;
2012-11-26 wenzelm 2012-11-26 refined outer syntax 'help' command;
2012-11-26 wenzelm 2012-11-26 tuned signature;
2012-11-26 wenzelm 2012-11-26 always reset active areas;
2012-11-26 wenzelm 2012-11-26 no special treatment of control_reset, in accordance to other control styles;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature;
2012-11-25 wenzelm 2012-11-25 tuned signature; uniform view.fontsize fallback;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-11-25 wenzelm 2012-11-25 tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
2012-11-25 wenzelm 2012-11-25 explicit module UTF8;
2012-11-25 wenzelm 2012-11-25 tuned file name;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-11-25 wenzelm 2012-11-25 prefer strict error;
2012-11-25 wenzelm 2012-11-25 quasi-abstract module Rendering, with Isabelle-specific implementation;
2012-11-25 wenzelm 2012-11-25 added convenience actions isabelle.increase-font-size and isabelle.decrease-font-size;
2012-11-25 wenzelm 2012-11-25 eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
2012-11-24 wenzelm 2012-11-24 retain hidden_color (i.e. transparent white) instead of replacing it by semantic text color, to make control symbols more hidden and avoid "dirty" lines with some fonts;
2012-11-24 wenzelm 2012-11-24 prefer buffer_edit combinator over Java-style boilerplate;
2012-11-24 wenzelm 2012-11-24 more robust font for control symbols, to ensure these obscure codepoints are properly rendered;
2012-11-24 wenzelm 2012-11-24 tuned symbol groups;