diff options
Diffstat (limited to 'Build/source/texk/web2c/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ChangeLog | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog index c78bd01c72f..ed7ba239aa8 100644 --- a/Build/source/texk/web2c/ChangeLog +++ b/Build/source/texk/web2c/ChangeLog @@ -1,8 +1,13 @@ +2014-01-14 Peter Breitenlohner <peb@mppmu.mpg.de> + + * mf.ch, tex.ch: Write dump_name to the terminal. + * texmfmp.h: Define dumpname => dump_name. + 2014-01-13 Peter Breitenlohner <peb@mppmu.mpg.de> Request from Knuth. - * mf.ch: Restore the word `preloaded' from base_idents. - * tex.ch: Restore the word `preloaded' from format_idents. + * mf.ch: Restore the word `preloaded' for base_idents. + * tex.ch: Restore the word `preloaded' for format_idents. 2014-01-09 Peter Breitenlohner <peb@mppmu.mpg.de> |