src/Pure/PIDE/command.scala
Fri, 02 Aug 2013 14:26:09 +0200 wenzelm maintain overlays within node perspective;
Sat, 13 Jul 2013 12:39:45 +0200 wenzelm full merge of Command.State, which enables Command.prints to augment markup as well (assuming that these dynamic overlays are relatively few);
Fri, 05 Jul 2013 22:58:24 +0200 wenzelm tuned signature;
less more (0) -100 -30 -10 -3 tip