lib/texinputs/isabelle.sty
changeset 14347 1fff56703e29
parent 14345 3023d90dc59e
child 14708 c0a65132d79a
equal deleted inserted replaced
14346:5b9dd0de05d0 14347:1fff56703e29
    50 
    50 
    51 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
    51 \newcommand{\isa}[1]{\emph{\isastyleminor #1}}
    52 
    52 
    53 \newcommand{\isaindent}[1]{\hphantom{#1}}
    53 \newcommand{\isaindent}[1]{\hphantom{#1}}
    54 \newcommand{\isanewline}{\mbox{}\par\mbox{}}
    54 \newcommand{\isanewline}{\mbox{}\par\mbox{}}
    55 \newcommand{\isasep}{\vspace*{2cm}}
    55 \newcommand{\isasep}{} % override with e.g. \renewcommand{\isasep}{\vspace{1ex}}
    56 \newcommand{\isadigit}[1]{#1}
    56 \newcommand{\isadigit}[1]{#1}
    57 
    57 
    58 \chardef\isacharbang=`\!
    58 \chardef\isacharbang=`\!
    59 \chardef\isachardoublequote=`\"
    59 \chardef\isachardoublequote=`\"
    60 \chardef\isacharhash=`\#
    60 \chardef\isacharhash=`\#