# HG changeset patch
# User wenzelm
# Date 1545834503 -3600
# Node ID c2a736883b018ba0e301fdbe1ffe883c64b62f1a
# Parent  0cf906072e209bc6aba6b13231092d8f30bb86a4
unused -- document lacks {* ... *};

diff -r 0cf906072e20 -r c2a736883b01 src/Doc/Corec/document/root.tex
--- 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}
diff -r 0cf906072e20 -r c2a736883b01 src/Doc/Datatypes/document/root.tex
--- 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}