diff options
Diffstat (limited to 'Master/texmf-dist/tex/plain/cweb/ctproofmac.tex')
-rw-r--r-- | Master/texmf-dist/tex/plain/cweb/ctproofmac.tex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Master/texmf-dist/tex/plain/cweb/ctproofmac.tex b/Master/texmf-dist/tex/plain/cweb/ctproofmac.tex index c0b4fa65cf6..1111e797050 100644 --- a/Master/texmf-dist/tex/plain/cweb/ctproofmac.tex +++ b/Master/texmf-dist/tex/plain/cweb/ctproofmac.tex @@ -1,8 +1,8 @@ % standard macros for CWEB listings (in addition to plain.tex) -% Version 4.5 --- October 2021 +% Version 4.9 --- June 2023 % Modified for proofs in CTWILL -\ifx\documentstyle\undefined\else\endinput\fi % LaTeX will use other macros -\xdef\fmtversion{\fmtversion+CWEB4.5+PROOFS} +\ifx\renewenvironment\undefined\else\endinput\fi % LaTeX will use other macros +\xdef\fmtversion{\fmtversion+CTWILL4.9+PROOFS} \let\:=\. % preserve a way to get the dot accent % (all other accents will still work as usual) @@ -128,7 +128,7 @@ \let\SHC\C % "// short comments" treated like "/* ordinary comments */" %\def\C#1{\5\5\quad$\triangleright\,${\cmntfont#1}$\,\triangleleft$} %\def\SHC#1{\5\5\quad$\diamond\,${\cmntfont#1}} -\def\D{\defin{\#define}} % macro definition +\def\D{\defin{{\rm\#}define}} % macro definition \let\E=\equiv % equivalence sign \def\ET{ and~} % conjunction between two section numbers \def\ETs{, and~} % conjunction between the last two of several section numbers @@ -136,7 +136,7 @@ \let\G=\ge % greater than or equal sign % \H is long Hungarian umlaut accent \let\I=\ne % unequal sign -\def\J{\.{@\&}} % TANGLE's join operation +\def\J{\.{@\&}} % CTANGLE's join operation \let\K== % assignment operator %\let\K=\leftarrow % "honest" alternative to standard assignment operator % \L is Polish letter suppressed-L |