src/Pure/PIDE/batch_session.scala
2015-01-14 ago more type-safe handler interface;
2015-01-14 ago clarified build_theories: proper protocol handler;
2015-01-14 ago clarified build_theories;
2015-01-13 ago some support for PIDE batch session;