src/Pure/PIDE/markup.scala
Sun, 02 Mar 2014 19:00:45 +0100 wenzelm clarified names of antiquotations and markup;
Sat, 01 Mar 2014 22:46:31 +0100 wenzelm clarified language markup: added "delimited" property;
Wed, 26 Feb 2014 11:58:35 +0100 wenzelm markup for method combinators;
Tue, 25 Feb 2014 17:03:55 +0100 wenzelm clarified token markup: keyword1/keyword2 is for syntax, and "command" the entity kind;
Sun, 23 Feb 2014 21:11:59 +0100 wenzelm clarified semantic completion: retain kind.full_name as official item name for history;
Sun, 23 Feb 2014 14:39:51 +0100 wenzelm clarified completion names;
less more (0) -30 -10 -6 tip