diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex-ep-mem.ch0')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex-ep-mem.ch0 | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex-ep-mem.ch0 b/Build/source/texk/web2c/synctexdir/synctex-ep-mem.ch0 new file mode 100644 index 00000000000..aea5c142b85 --- /dev/null +++ b/Build/source/texk/web2c/synctexdir/synctex-ep-mem.ch0 @@ -0,0 +1,25 @@ +@x tex.web l.2897 +@d box_node_size=8 {number of words to allocate for a box node} +@y +@d box_node_size=7 {number of words to allocate for a box node} +@z + +@x tex.web l.3937 + disp_node, +@y + disp_node: do_nothing; +@z + +@x tex.web l.4021: +disp_node, +@y +disp_node: begin r:=get_node(small_node_size); + words:=small_node_size; + end; +@z + +@x tex.web l. 24956 +@* \[54/\pTeX] System-dependent changes for \pTeX. +@y +@* \[54] System-dependent changes. +@z |