src/Pure/PIDE/document_id.ML
2013-07-12 wenzelm 2013-07-12 tuned signature; tuned comments;
2013-07-05 wenzelm 2013-07-05 more uniform Counter in ML and Scala;
2013-07-05 wenzelm 2013-07-05 tuned signature;
2013-07-05 wenzelm 2013-07-05 explicit module Document_ID as source of globally unique identifiers across ML/Scala;