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/position.scala
changeset 74675 76dd79530650
parent 74263 be49c660ebbf
child 74692 80ae353b798e 
--- a/src/Pure/General/position.scala	Wed Nov 03 16:23:32 2021 +0100
+++ b/src/Pure/General/position.scala	Wed Nov 03 20:45:02 2021 +0100
@@ -29,7 +29,7 @@
   val Def_File = new Properties.String(Markup.DEF_FILE)
   val Def_Id = new Properties.Long(Markup.DEF_ID)
 
-  val Def_Theory = new Properties.Long(Markup.DEF_THEORY)
+  val Def_Theory = new Properties.String(Markup.DEF_THEORY)
 
   object Line_File
   {
isabelle