# HG changeset patch
# User wenzelm
# Date 1398513649 -7200
# Node ID 10b52ca3b4a2a2ac4c1b8334e25f2ef275a37c6d
# Parent  f87e3be0de9ace519366b39615331bfa5096d519
clarified PIDE modules;

diff -r f87e3be0de9a -r 10b52ca3b4a2 src/Pure/General/word.scala
--- a/src/Pure/General/word.scala	Sat Apr 26 13:50:25 2014 +0200
+++ b/src/Pure/General/word.scala	Sat Apr 26 14:00:49 2014 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/General/word.scala
+    Module:     PIDE
     Author:     Makarius
 
 Support for words within Unicode text.
diff -r f87e3be0de9a -r 10b52ca3b4a2 src/Pure/Thy/html.scala
--- a/src/Pure/Thy/html.scala	Sat Apr 26 13:50:25 2014 +0200
+++ b/src/Pure/Thy/html.scala	Sat Apr 26 14:00:49 2014 +0200
@@ -1,5 +1,5 @@
 /*  Title:      Pure/Thy/html.scala
-    Module:     PIDE-GUI
+    Module:     PIDE
     Author:     Makarius
 
 HTML presentation elements.