--- a/src/Pure/PIDE/document_id.scala Sat Apr 26 13:07:20 2014 +0200
+++ b/src/Pure/PIDE/document_id.scala Sat Apr 26 13:18:46 2014 +0200
@@ -1,4 +1,5 @@
/* Title: Pure/PIDE/document_id.scala
+ Module: PIDE
Author: Makarius
Unique identifiers for document structure.