diff options
| author | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-03 14:30:56 +0000 |
|---|---|---|
| committer | Martin Ruckert <martin.ruckert@hm.edu> | 2022-03-03 14:30:56 +0000 |
| commit | e6e209ef65c46908ad1cd49185ddb5e13f051b8f (patch) | |
| tree | e4da39fa6264615c63175fe58407e684b202cb2e | |
| parent | 0653e580a51373dcfb6f28c815b270b2e8b3e71b (diff) | |
HiTeX: fixing \show for HiTeX primitives
git-svn-id: svn://tug.org/texlive/trunk@62366 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Build/source/texk/web2c/hitexdir/hitex.w | 40 |
1 files changed, 21 insertions, 19 deletions
diff --git a/Build/source/texk/web2c/hitexdir/hitex.w b/Build/source/texk/web2c/hitexdir/hitex.w index 46a2aa79d75..787f8536deb 100644 --- a/Build/source/texk/web2c/hitexdir/hitex.w +++ b/Build/source/texk/web2c/hitexdir/hitex.w @@ -25660,25 +25660,27 @@ case extension: switch (chr_code) { case write_node: print_esc("write");@+break; case close_node: print_esc("closeout");@+break; case special_node: print_esc("special");@+break; - case param_node: print("parameter");@+break; - case par_node: print("paragraf");@+break; - case disp_node: print("display");@+break; - case baseline_node: print("baselineskip");@+break; - case hpack_node: print("hpack");@+break; - case vpack_node: print("vpack");@+break; - case hset_node: print("hset");@+break; - case vset_node: print("vset");@+break; - case image_node: print("HINTimage");@+break; - case start_link_node: print("HINTstartlink");@+break; - case end_link_node: print("HINTendlink");@+break; - case label_node: print("HINTdest");@+break; - case outline_node: print("HINToutline");@+break; - case align_node: print("align");@+break; - case setpage_node: print("HINTsetpage");@+break; - case setstream_node: print("HINTsetstream");@+break; - case stream_node: print("HINTstream");@+break; - case xdimen_node: print("xdimen");@+break; - case ignore_node: print("ignore");@+break; + case image_node: print_esc("HINTimage");@+break; + case start_link_node: print_esc("HINTstartlink");@+break; + case end_link_node: print_esc("HINTendlink");@+break; + case label_node: print_esc("HINTdest");@+break; + case outline_node: print_esc("HINToutline");@+break; + case setpage_node: print_esc("HINTsetpage");@+break; + case stream_before_node: print_esc("HINTbefore");@+break; + case stream_after_node: print_esc("HINTafter");@+break; + case setstream_node: print_esc("HINTsetstream");@+break; + case stream_node: print_esc("HINTstream");@+break; + case param_node: print("[HINT internal: parameter list]");@+break; + case par_node: print("[HINT internal: paragraf]");@+break; + case disp_node: print("[HINT internal: display]");@+break; + case baseline_node: print("[HINT internal: baselineskip]");@+break; + case hpack_node: print("[HINT internal: hpack]");@+break; + case vpack_node: print("[HINT internal: vpacky");@+break; + case hset_node: print("[HINT internal: hset]");@+break; + case vset_node: print("[HINT internal: vset]");@+break; + case align_node: print("[HINT internal: align]");@+break; + case xdimen_node: print("[HINT internal: xdimen]");@+break; + case ignore_node: print("[HINT internal: ignore]");@+break; case immediate_code: print_esc("immediate");@+break; case set_language_code: print_esc("setlanguage");@+break; @/@<Cases of |extension| for |print_cmd_chr|@>@/ |