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.
unused -- document lacks {* ... *};
authorwenzelm
Wed, 26 Dec 2018 15:28:23 +0100
changeset 69503 c2a736883b01
parent 69502 0cf906072e20
child 69504 bda7527ccf05
unused -- document lacks {* ... *};
src/Doc/Corec/document/root.tex file | annotate | diff | comparison | revisions
src/Doc/Datatypes/document/root.tex file | annotate | diff | comparison | revisions 
--- a/src/Doc/Corec/document/root.tex	Sun Dec 23 20:51:23 2018 +0000
+++ b/src/Doc/Corec/document/root.tex	Wed Dec 26 15:28:23 2018 +0100
@@ -51,8 +51,6 @@
 \renewcommand\isachardoublequote{\mbox{\upshape{``}}}
 \renewcommand\isachardoublequoteopen{\mbox{\upshape{``}\kern.1ex}}
 \renewcommand\isachardoublequoteclose{\/\kern.15ex\mbox{\upshape{''}}}
-\renewcommand\isacharverbatimopen{\isacharbraceleft\isacharasterisk}
-\renewcommand\isacharverbatimclose{\isacharasterisk\isacharbraceright}
 \renewcommand{\isasyminverse}{\isamath{{}^{-}}}
 
 \hyphenation{isa-belle}
--- a/src/Doc/Datatypes/document/root.tex	Sun Dec 23 20:51:23 2018 +0000
+++ b/src/Doc/Datatypes/document/root.tex	Wed Dec 26 15:28:23 2018 +0100
@@ -51,8 +51,6 @@
 \renewcommand\isachardoublequote{\mbox{\upshape{``}}}
 \renewcommand\isachardoublequoteopen{\mbox{\upshape{``}\kern.1ex}}
 \renewcommand\isachardoublequoteclose{\/\kern.15ex\mbox{\upshape{''}}}
-\renewcommand\isacharverbatimopen{\isacharbraceleft\isacharasterisk}
-\renewcommand\isacharverbatimclose{\isacharasterisk\isacharbraceright}
 \renewcommand{\isasyminverse}{\isamath{{}^{-}}}
 
 \hyphenation{isa-belle}
isabelle