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/document.scala
changeset 51293 05b1bbae748d
parent 50500 c94bba7906d2
child 51294 0850d43cb355 
--- a/src/Pure/PIDE/document.scala	Tue Feb 26 20:11:11 2013 +0100
+++ b/src/Pure/PIDE/document.scala	Wed Feb 27 12:45:19 2013 +0100
@@ -40,7 +40,7 @@
     sealed case class Header(
       imports: List[Name],
       keywords: Thy_Header.Keywords,
-      uses: List[(String, Boolean)],
+      files: List[String],
       errors: List[String] = Nil)
     {
       def error(msg: String): Header = copy(errors = errors ::: List(msg))
isabelle