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/latex.ML
changeset 81704 9253dadbd4ac
parent 81683 b31d09029b94 
--- a/src/Pure/General/latex.ML	Wed Jan 01 19:42:53 2025 +0100
+++ b/src/Pure/General/latex.ML	Wed Jan 01 22:06:27 2025 +0100
@@ -251,8 +251,6 @@
    (Markup.keyword1N, markup_macro "isakeywordONE"),
    (Markup.keyword2N, markup_macro "isakeywordTWO"),
    (Markup.keyword3N, markup_macro "isakeywordTHREE"),
-   (Markup.literalN, markup_macro "isaliteral"),
-   (Markup.delimiterN, markup_macro "isadelimiter"),
    (Markup.tclassN, markup_macro "isatclass"),
    (Markup.tconstN, markup_macro "isatconst"),
    (Markup.tfreeN, markup_macro "isatfree"),
isabelle