diff options
-rw-r--r-- | Build/source/texk/web2c/tiedir/ChangeLog | 6 | ||||
-rw-r--r-- | Build/source/texk/web2c/tiedir/tie-w2c.ch | 4 |
2 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tiedir/ChangeLog b/Build/source/texk/web2c/tiedir/ChangeLog index 036e7cafed0..a633240773c 100644 --- a/Build/source/texk/web2c/tiedir/ChangeLog +++ b/Build/source/texk/web2c/tiedir/ChangeLog @@ -1,6 +1,10 @@ +2020-04-30 Andreas Scherer <https://ascherer.github.io> + + * tie-w2c.ch: Fix type format in section 60. + 2020-04-27 Andreas Scherer <https://ascherer.github.io> - * tie-w2c.ch: Editorial modifications for ctie.w. + * tie-w2c.ch: Editorial modifications for tie.w. 2020-04-26 Andreas Scherer <https://ascherer.github.io> diff --git a/Build/source/texk/web2c/tiedir/tie-w2c.ch b/Build/source/texk/web2c/tiedir/tie-w2c.ch index cb27e004283..6ec242baf42 100644 --- a/Build/source/texk/web2c/tiedir/tie-w2c.ch +++ b/Build/source/texk/web2c/tiedir/tie-w2c.ch @@ -259,8 +259,12 @@ Additionally we report the history to the user, although this may not @z @x +@<Print the job |history|@>= {string msg; @y +@s const_string int + +@<Print the job |history|@>= {const_string msg; @z |