proper alt_string markup (cf. 2ceb05ee0331); more jEdit colors, less PG colors (see bb20fb8a57be);

tuned spelling;

clarified language context, e.g. relevant for symbol completion within cartouches;

tuned signature;

proper railsetup;

move topology on enat to Extended_Real, otherwise Jinja_Threads fails

isatest for Mac OS X Yosemite;

tuned spelling;

expand ML cartouches to Input.source; tuned signature;

merged

some special cases for official SML, to treat Isabelle symbols like raw characters;

tuned comment;

clarified Isabelle/ML strings (refining 72238ea2201c);

tuned signature;

instance bool and enat as topologies

NEWS

allow multiple inheritance of targets

tuned module structure

tuned data structures

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

tuned

tuned names

eta-expand all search patterns using schematic place holders

revert "better" handling of abbreviation from c61fe520602b

tuned variable names

turn application-specific Pattern.matches_subterm into an application-private function

cleaned up mess

add Poisson and Binomial distribution

add integral substitution theorems from Manuel Eberl, Jeremy Avigad, Luke Serafin, and Sudeep Kanav

proper GUI_Thread context (cf. 7e0d3da6e6d8);