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;
Sat, 08 Apr 2017 22:36:32 +0200 wenzelm more qualifier treatment, but in the end it is still ignored;
Sat, 08 Apr 2017 12:31:29 +0200 wenzelm tuned signature;
Tue, 04 Apr 2017 22:56:28 +0200 wenzelm more explicit types;
Sat, 01 Apr 2017 22:03:24 +0200 wenzelm clarified YXML vs. symbol encoding: operate on whole message;
less more (0) -100 -30 -10 -7 tip