Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isar_document.scala
changeset 38418 9a7af64d71bb
parent 38417 b8922ae21111
child 38448 62d16c415019 
--- a/src/Pure/System/isar_document.scala	Sun Aug 15 14:18:52 2010 +0200
+++ b/src/Pure/System/isar_document.scala	Sun Aug 15 18:41:23 2010 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/System/isar_document.scala
     Author:     Makarius
 
-Interactive Isar documents.
+Protocol commands for interactive Isar documents.
 */
 
 package isabelle
isabelle