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/Thy/document.scala
changeset 36012 0614676f14d4
parent 36011 3ff725ac13a4 
--- a/src/Pure/Thy/document.scala	Mon Mar 29 22:43:56 2010 +0200
+++ b/src/Pure/Thy/document.scala	Mon Mar 29 22:55:57 2010 +0200
@@ -102,7 +102,7 @@
           val spans0 = Thy_Syntax.parse_spans(session.current_syntax.scan(sources.mkString))
 
           val (before_edit, spans1) =
-            if (!spans0.isEmpty && Some(spans0.first) == prefix.map(_.span))
+            if (!spans0.isEmpty && Some(spans0.head) == prefix.map(_.span))
               (prefix, spans0.tail)
             else (if (prefix.isDefined) commands.prev(prefix.get) else None, spans0)
isabelle