blob: e1c9e1c0535f7f1bf9724cfbd4256b42e2928b30 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
@x e-upTeX: logo
\def\eTeX{$\varepsilon$-\TeX}
@y
\def\eTeX{$\varepsilon$-\TeX}
\def\eupTeX{$\varepsilon$-up\TeX}
@z
@x e-upTeX: banner
{printed when up\TeX\ starts}
@y
{printed when up\TeX\ starts}
@#
@d eupTeX_version==pTeX_version_string,upTeX_version_string,epTeX_version_string,eTeX_version_string
@d eupTeX_banner=='This is e-upTeX, Version 3.14159265',eupTeX_version
@d eupTeX_banner_k==eupTeX_banner
{printed when \eupTeX\ starts}
@z
@x [1.2]
@d banner==upTeX_banner
@d banner_k==upTeX_banner_k
@y
@d banner==pTeX_banner
@d banner_k==pTeX_banner_k
@z
@x
@d max_quarterword=@"FFFF {largest allowable value in a |quarterword|}
@y
@d max_quarterword=255 {largest allowable value in a |quarterword|}
@z
@x
@d protected_token=@'7001 {$2^8\cdot|end_match|+1$}
@y
@d protected_token=@"E01 {$2^8\cdot|end_match|+1$}
@z
|
