diff options
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ptex-base.ch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ptex-base.ch b/Build/source/texk/web2c/ptexdir/ptex-base.ch index 3ce286b3ed5..c655ad497be 100644 --- a/Build/source/texk/web2c/ptexdir/ptex-base.ch +++ b/Build/source/texk/web2c/ptexdir/ptex-base.ch @@ -737,7 +737,7 @@ of larger type codes will also be defined, for use in math mode only. @x [12.???] pTeX: \ptexfontname, \ptextracingfonts @p procedure short_display(@!p:integer); {prints highlights of list |p|} @y -@p@t\4@>@<Declare the pTeX-specific |print_font_...| procedures|@>@;@/ +@p@t\4@>@<Declare the pTeX-specific |print_font_...| procedures@>@;@/ procedure short_display(@!p:integer); {prints highlights of list |p|} @z @@ -1665,7 +1665,7 @@ begin end; end; -@ @<Declare the pTeX-specific |print_font_...| procedures|@>= +@ @<Declare the pTeX-specific |print_font_...| procedures@>= procedure print_font_name_and_size(f:internal_font_number); begin print(font_name[f]); |