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/Isar/outer_syntax.ML
changeset 74561 8e6c973003c8
parent 74262 839a6e284545
child 74964 77a96ed74340 
--- a/src/Pure/Isar/outer_syntax.ML	Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Wed Oct 20 18:13:17 2021 +0200
@@ -81,7 +81,6 @@
 (
   type T = command Symtab.table;
   val empty = Symtab.empty;
-  val extend = I;
   fun merge data : T =
     data |> Symtab.join (fn name => fn (cmd1, cmd2) =>
       if eq_command (cmd1, cmd2) then raise Symtab.SAME
isabelle