Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper markup type (amending be49c660ebbf);
authorwenzelm
Wed, 03 Nov 2021 20:45:02 +0100
changeset 74675 76dd79530650
parent 74674 376571db0eda
child 74676 d37b204e1f89
proper markup type (amending be49c660ebbf);
src/Pure/General/position.scala file | annotate | diff | comparison | revisions 
--- 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