diff options
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index 22fafe08972..afcb409d4ec 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,3 +1,8 @@ +2013-03-11 Karl Berry <karl@tug.org> + + * doc/web2c.texi (Initial TeX, Initial Metafont): initex + and inimf are present again (as of 2011). Report from Uwe Lueck. + 2013-03-01 Peter Breitenlohner <peb@mppmu.mpg.de> * triptrap-sh: Drop duplicate header msg. |