src/Pure/PIDE/protocol.scala
Fri, 21 Apr 2017 14:09:03 +0200 wenzelm eliminated default_qualifier: just a constant;
Wed, 12 Apr 2017 22:32:55 +0200 wenzelm clarified loaded_theories: map to qualified theory name;
Wed, 12 Apr 2017 21:13:43 +0200 wenzelm global session_base for PIDE interaction;
less more (0) -100 -30 -10 -3 tip