lib/texinputs/isabelle.sty
changeset 40402 b646316f8b3c
parent 39662 86595d7b59b5
child 40407 2ff10e613689
equal deleted inserted replaced
40401:25ba6b2559e1 40402:b646316f8b3c
    93 \chardef\isachartilde=`\~%
    93 \chardef\isachartilde=`\~%
    94 \def\isacharverbatimopen{\isacharbraceleft\isacharasterisk}%
    94 \def\isacharverbatimopen{\isacharbraceleft\isacharasterisk}%
    95 \def\isacharverbatimclose{\isacharasterisk\isacharbraceright}%
    95 \def\isacharverbatimclose{\isacharasterisk\isacharbraceright}%
    96 }
    96 }
    97 
    97 
       
    98 \newcommand{\isaliteral}[2]{#2}
       
    99 
    98 
   100 
    99 % keyword and section markup
   101 % keyword and section markup
   100 
   102 
   101 \newcommand{\isakeyword}[1]
   103 \newcommand{\isakeyword}[1]
   102 {\emph{\bf\def\isachardot{.}\def\isacharunderscore{\isacharunderscorekeyword}%
   104 {\emph{\bf\def\isachardot{.}\def\isacharunderscore{\isacharunderscorekeyword}%