1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
@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 uptex_version_code: print_esc("uptexversion"); @y @z @x uptex_version_code: cur_val:=upTeX_version; @y @z