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/General/xml.scala
changeset 27942 5ac9a0f9fad0
parent 27941 b4656b671cce
child 27947 b6dc0a396857 
--- 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