Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Thu, 21 Aug 2008 20:51:41 +0200
changeset 27942 5ac9a0f9fad0
parent 27941 b4656b671cce
child 27943 f34ff5e7728f
tuned comment;
src/Pure/General/xml.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/xml.scala	Thu Aug 21 19:19:31 2008 +0200
+++ b/src/Pure/General/xml.scala	Thu Aug 21 20:51:41 2008 +0200
@@ -15,7 +15,7 @@
   case class Text(content: String) extends Tree
 
 
-  /* iterator over content */
+  /* iterate over content */
 
   private type State = Option[(String, List[Tree])]
isabelle