23 months ago ago updated to scala-2.12.3;
2016-10-24 ago discontinued unused / untested distinction of separate PIDE modules;
2016-09-05 ago clarified modules;
2014-04-26 ago tuned headers;
2013-07-05 ago more uniform Counter in ML and Scala;
2013-07-05 ago tuned signature;
2013-07-05 ago explicit module Document_ID as source of globally unique identifiers across ML/Scala;