src/Pure/PIDE/isar_document.ML
changeset 38567 b670faa807c9
parent 38483 3d16bebee1d3
child 41634 28d94383249c
--- a/src/Pure/PIDE/isar_document.ML	Fri Aug 20 11:47:33 2010 +0200
+++ b/src/Pure/PIDE/isar_document.ML	Fri Aug 20 11:57:43 2010 +0200
@@ -1,7 +1,7 @@
 (*  Title:      Pure/PIDE/isar_document.ML
     Author:     Makarius
 
-Protocol commands for interactive Isar documents.
+Protocol message formats for interactive Isar documents.
 *)
 
 structure Isar_Document: sig end =