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/PIDE/isar_document.scala
changeset 44479 9a04e7502e22
parent 44476 e8a87398f35d
child 44481 bb42bc831570 
--- a/src/Pure/PIDE/isar_document.scala	Thu Aug 25 19:12:58 2011 +0200
+++ b/src/Pure/PIDE/isar_document.scala	Fri Aug 26 15:09:54 2011 +0200
@@ -18,7 +18,7 @@
         case XML.Elem(Markup(Markup.ASSIGN, List((Markup.VERSION, Document.ID(id)))), body) =>
           try {
             import XML.Decode._
-            val a = pair(list(pair(long, long)), list(pair(string, option(long))))(body)
+            val a = pair(list(pair(long, option(long))), list(pair(string, option(long))))(body)
             Some(id, a)
           }
           catch {
isabelle