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.
tuned;
authorwenzelm
Wed, 20 Oct 2021 11:34:28 +0200
changeset 74557 59febd85a0f6
parent 74556 b45b85a4145e
child 74558 44dc1661a5cb
tuned;
src/Pure/Thy/document_antiquotation.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/document_antiquotation.ML	Wed Oct 20 11:25:32 2021 +0200
+++ b/src/Pure/Thy/document_antiquotation.ML	Wed Oct 20 11:34:28 2021 +0200
@@ -189,8 +189,7 @@
 in
 
 fun read_antiq ctxt ({range = (pos, _), body, ...}: Antiquote.antiq) =
-  let val keywords = Thy_Header.get_keywords' ctxt;
-  in Token.read_antiq keywords parse_antiq (body, pos) end;
+  Token.read_antiq (Thy_Header.get_keywords' ctxt) parse_antiq (body, pos);
 
 fun evaluate eval_text ctxt antiq =
   (case antiq of
isabelle