diff options
Diffstat (limited to 'Build/source/texk/web2c/eptexdir/eptex.ech')
-rw-r--r-- | Build/source/texk/web2c/eptexdir/eptex.ech | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/eptexdir/eptex.ech b/Build/source/texk/web2c/eptexdir/eptex.ech index 7d89f031ae0..02696bb9707 100644 --- a/Build/source/texk/web2c/eptexdir/eptex.ech +++ b/Build/source/texk/web2c/eptexdir/eptex.ech @@ -11,7 +11,7 @@ \def\eTeX{$\varepsilon$-\TeX} @y \def\eTeX{$\varepsilon$-\TeX} -\def\epTeX{$\varepsilon$-p\TeX} +\def\epTeX{$\varepsilon$-\pTeX} @z @x [1.2] l.190 - epTeX: @@ -23,9 +23,9 @@ @z @x e-pTeX: banner - {printed when p\TeX\ starts} + {printed when \pTeX\ starts} @y - {printed when p\TeX\ starts} + {printed when \pTeX\ starts} @# @d epTeX_version==pTeX_version_string,epTeX_version_string,eTeX_version_string @d epTeX_banner=='This is e-pTeX, Version 3.14159265',epTeX_version |