summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/cwebdir/ctproofmac.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/ctproofmac.tex')
-rw-r--r--Build/source/texk/web2c/cwebdir/ctproofmac.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/cwebdir/ctproofmac.tex b/Build/source/texk/web2c/cwebdir/ctproofmac.tex
index ccfd36b83b2..a3016ba7322 100644
--- a/Build/source/texk/web2c/cwebdir/ctproofmac.tex
+++ b/Build/source/texk/web2c/cwebdir/ctproofmac.tex
@@ -1,8 +1,8 @@
% standard macros for CWEB listings (in addition to plain.tex)
-% Version 4.3 --- April 2021
+% Version 4.4 --- June 2021
% Modified for proofs in CTWILL
\ifx\documentstyle\undefined\else\endinput\fi % LaTeX will use other macros
-\xdef\fmtversion{\fmtversion+CWEB4.3+PROOFS}
+\xdef\fmtversion{\fmtversion+CWEB4.4+PROOFS}
\let\:=\. % preserve a way to get the dot accent
% (all other accents will still work as usual)