2014-12-09 wenzelm 2014-12-09 tuned signature;
2014-12-09 wenzelm 2014-12-09 more jEdit colors;
2014-12-09 wenzelm 2014-12-09 proper alt_string markup (cf. 2ceb05ee0331); more jEdit colors, less PG colors (see bb20fb8a57be);
2014-12-09 wenzelm 2014-12-09 tuned spelling;
2014-12-09 wenzelm 2014-12-09 clarified language context, e.g. relevant for symbol completion within cartouches;
2014-12-09 wenzelm 2014-12-09 tuned signature;
2014-12-09 wenzelm 2014-12-09 proper railsetup;
2014-12-09 hoelzl 2014-12-09 move topology on enat to Extended_Real, otherwise Jinja_Threads fails
2014-11-22 wenzelm 2014-11-22 isatest for Mac OS X Yosemite;
2014-12-08 wenzelm 2014-12-08 tuned spelling;
2014-12-08 wenzelm 2014-12-08 expand ML cartouches to Input.source; tuned signature;
2014-12-08 wenzelm 2014-12-08 merged
2014-12-08 wenzelm 2014-12-08 some special cases for official SML, to treat Isabelle symbols like raw characters;
2014-12-08 wenzelm 2014-12-08 tuned comment;
2014-12-08 wenzelm 2014-12-08 clarified Isabelle/ML strings (refining 72238ea2201c);
2014-12-08 wenzelm 2014-12-08 tuned signature;
2014-12-08 hoelzl 2014-12-08 instance bool and enat as topologies
2014-12-08 haftmann 2014-12-08 NEWS
2014-12-05 haftmann 2014-12-05 allow multiple inheritance of targets
2014-12-04 haftmann 2014-12-04 tuned module structure
2014-12-04 haftmann 2014-12-04 tuned data structures
2014-12-04 haftmann 2014-12-04 tuned target inheritance bookkeeping: ancestry is always fully maintained at current entry using canonical merge; n. b. merging of bidirectional dependencies results in effective join of involved nodes: no termination problem since ancestry is always kept explicitly normalized
2014-12-04 haftmann 2014-12-04 tuned
2014-12-04 haftmann 2014-12-04 tuned names
2014-12-04 haftmann 2014-12-04 eta-expand all search patterns using schematic place holders
2014-12-04 haftmann 2014-12-04 revert "better" handling of abbreviation from c61fe520602b
2014-12-04 haftmann 2014-12-04 tuned variable names
2014-12-04 haftmann 2014-12-04 turn application-specific Pattern.matches_subterm into an application-private function
2014-12-04 haftmann 2014-12-04 cleaned up mess
2014-12-05 hoelzl 2014-12-05 add Poisson and Binomial distribution
2014-12-05 hoelzl 2014-12-05 add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav
2014-12-04 wenzelm 2014-12-04 proper GUI_Thread context (cf. 7e0d3da6e6d8);
2014-12-04 wenzelm 2014-12-04 more examples;
2014-12-04 wenzelm 2014-12-04 tuned header;
2014-12-04 hoelzl 2014-12-04 generalized (borel_)measurable_SUP/INF/lfp/gfp; tuned proofs for sigma-closure of product spaces
2014-12-03 wenzelm 2014-12-03 merged
2014-12-03 wenzelm 2014-12-03 node-specific keywords, with session base syntax as default;
2014-12-03 wenzelm 2014-12-03 clarified define_command: send tokens more directly, without requiring keywords in ML;
2014-12-03 wenzelm 2014-12-03 more robust bundle_name: avoid assumptions about identifier, keywords etc.;
2014-12-03 wenzelm 2014-12-03 tuned signature;
2014-12-03 wenzelm 2014-12-03 tuned;
2014-12-03 wenzelm 2014-12-03 clarified token kind;
2014-12-02 wenzelm 2014-12-02 added Untyped.method convenience (for *this* class only);
2014-12-02 wenzelm 2014-12-02 tuned signature -- more explicit types;
2014-12-02 wenzelm 2014-12-02 more careful syntax_changed propagation -- avoid global jEdit.propertiesChanged;
2014-12-02 wenzelm 2014-12-02 node-specific syntax, with base_syntax as default; clarified Document_Model.init: convergence of editor events towards buffer-specific token marker;
2014-12-01 wenzelm 2014-12-01 clarified token marker / syntax for mode vs. buffer;
2014-12-01 wenzelm 2014-12-01 Sidekick syntax is derived from buffer (and its mode), instead of parser name;
2014-12-01 wenzelm 2014-12-01 tuned signature;
2014-12-01 wenzelm 2014-12-01 more merge operations;
2014-12-01 wenzelm 2014-12-01 tuned signature;
2014-12-01 wenzelm 2014-12-01 tuned;
2014-12-03 blanchet 2014-12-03 prefer E 1.8, now that it's been tried and tested
2014-11-30 wenzelm 2014-11-30 more accurate context;
2014-11-30 wenzelm 2014-11-30 update_cartouches;
2014-11-30 wenzelm 2014-11-30 tuned signature;
2014-11-30 wenzelm 2014-11-30 tuned signature;
2014-11-30 wenzelm 2014-11-30 tuned signature -- prefer Input.source;
2014-11-30 wenzelm 2014-11-30 more abstract type Input.source;
2014-11-29 wenzelm 2014-11-29 encode text with control symbols;