\isabellestyleit: proper \isacharbackslash;
authorwenzelm
Tue Aug 16 13:42:18 2005 +0200 (2005-08-16)
changeset 1705230781cc78fc6
parent 17051 d17cfb0b9ba2
child 17053 80fceeb2bcef
\isabellestyleit: proper \isacharbackslash;
support for tagged regions: \isakeeptag, \isadroptag, \isafoldtag -- depends on plain TeX version of comment.sty;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Tue Aug 16 13:42:17 2005 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Tue Aug 16 13:42:18 2005 +0200
     1.3 @@ -149,6 +149,7 @@
     1.4  \renewcommand{\isachargreater}{\isamath{>}}%
     1.5  \renewcommand{\isacharat}{\isamath{@}}%
     1.6  \renewcommand{\isacharbrackleft}{\isamath{[}}%
     1.7 +\renewcommand{\isacharbackslash}{\isamath{\backslash}}%
     1.8  \renewcommand{\isacharbrackright}{\isamath{]}}%
     1.9  \renewcommand{\isacharunderscore}{\mbox{-}}%
    1.10  \renewcommand{\isacharbraceleft}{\isamath{\{}}%
    1.11 @@ -163,3 +164,28 @@
    1.12  \renewcommand{\isastyleminor}{\sl}%
    1.13  \renewcommand{\isastylescript}{\footnotesize\sl}%
    1.14  }
    1.15 +
    1.16 +
    1.17 +% tagged regions
    1.18 +
    1.19 +%plain TeX version of comment package -- much faster!
    1.20 +\let\isafmtname\fmtname\def\fmtname{plain}
    1.21 +\usepackage{comment}
    1.22 +\let\fmtname\isafmtname
    1.23 +
    1.24 +\newcommand{\isafold}[1]{\emph{$\langle\mathord{\mathit{#1}}\rangle$}}
    1.25 +
    1.26 +\newcommand{\isakeeptag}[1]%
    1.27 +{\includecomment{isadelim#1}\includecomment{isatag#1}\csarg\def{isafold#1}{}}
    1.28 +\newcommand{\isadroptag}[1]%
    1.29 +{\excludecomment{isadelim#1}\excludecomment{isatag#1}\csarg\def{isafold#1}{}}
    1.30 +\newcommand{\isafoldtag}[1]%
    1.31 +{\includecomment{isadelim#1}\excludecomment{isatag#1}\csarg\def{isafold#1}{\isafold{#1}}}
    1.32 +
    1.33 +\isakeeptag{theory}
    1.34 +\isakeeptag{proof}
    1.35 +\isakeeptag{ML}
    1.36 +\isakeeptag{visible}
    1.37 +\isadroptag{invisible}
    1.38 +
    1.39 +\IfFileExists{isabelletags.sty}{\usepackage{isabelletags}}{}