diff options
Diffstat (limited to 'Build/source/texk/web2c/alephdir/eover-rc2.ch')
-rw-r--r-- | Build/source/texk/web2c/alephdir/eover-rc2.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/alephdir/eover-rc2.ch b/Build/source/texk/web2c/alephdir/eover-rc2.ch index d43b817c88c..71209c78e83 100644 --- a/Build/source/texk/web2c/alephdir/eover-rc2.ch +++ b/Build/source/texk/web2c/alephdir/eover-rc2.ch @@ -15,7 +15,7 @@ {printed when \eTeX\ starts} @y @d eTeX_version_banner=='2.1' {current \eTeX\ version} -@d Omega_version_banner=='1.15' {current \Omega\ version} +@d Omega_version_banner=='1.15' {current $\Omega$ version} @d Aleph_version_banner=='0.0-rc4' {current \Aleph\ version} @d eTeX_version_string=="2.1" {current \eTeX\ version} @d Omega_version_string=="1.15" { \.{\\OmegaVersion} } |