diff options
Diffstat (limited to 'Build/source/texk/web2c/tangle.ch')
-rw-r--r-- | Build/source/texk/web2c/tangle.ch | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Build/source/texk/web2c/tangle.ch b/Build/source/texk/web2c/tangle.ch index 34c187129cf..2cc624136c2 100644 --- a/Build/source/texk/web2c/tangle.ch +++ b/Build/source/texk/web2c/tangle.ch @@ -45,10 +45,10 @@ @z @x [1] Define my_name -@d banner=='This is TANGLE, Version 4.5' +@d banner=='This is TANGLE, Version 4.6' @y @d my_name=='tangle' -@d banner=='This is TANGLE, Version 4.5' +@d banner=='This is TANGLE, Version 4.6' @z @x [2] Eliminate the |end_of_TANGLE| label. @@ -85,7 +85,7 @@ procedure initialize; @x @!max_bytes=45000; {|1/ww| times the number of bytes in identifiers, strings, and module names; must be less than 65536} -@!max_toks=50000; {|1/zz| times the number of bytes in compressed \PASCAL\ code; +@!max_toks=65000; {|1/zz| times the number of bytes in compressed \PASCAL\ code; must be less than 65536} @!max_names=4000; {number of identifiers, strings, module names; must be less than 10240} @@ -551,15 +551,15 @@ equiv[p]:=accumulator+@'10000000000; {name |p| now is defined to equal |accumula @z @x [173] Add parametric2 macros (macros that use [] to delimit arguments). - else @<If the next text is `|(#)==|', call |define_macro| + else @<If the next text is `\.{(\#)==}', call |define_macro| and |goto continue|@>; @y - else @<If the next text is `|(#)==|' or |[#]==|, call |define_macro| + else @<If the next text is `\.{(\#)==}' or `\.{[\#]==}', call |define_macro| and |goto continue|@>; @z @x [174] Add parametric2 macros (macros that use [] to delimit arguments). -@ @<If the next text is `|(#)==|'...@>= +@ @<If the next text is `\.{(\#)==}'...@>= if next_control="(" then begin next_control:=get_next; if next_control="#" then @@ -578,7 +578,7 @@ if next_control="(" then end; end; @y -@ @<If the next text is `|(#)==|'...@>= +@ @<If the next text is `\.{(\#)==}'...@>= if next_control="(" then begin next_control:=get_next; if next_control="#" then |