diff options
Diffstat (limited to 'Build/source/texk/web2c/ptexdir/ChangeLog')
-rw-r--r-- | Build/source/texk/web2c/ptexdir/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ChangeLog b/Build/source/texk/web2c/ptexdir/ChangeLog index b1aa74771b8..f0e5ae72017 100644 --- a/Build/source/texk/web2c/ptexdir/ChangeLog +++ b/Build/source/texk/web2c/ptexdir/ChangeLog @@ -1,3 +1,8 @@ +2012-05-11 Peter Breitenlohner <peb@mppmu.mpg.de> + + * ptex-base.ch (pTeX_version_string): Version 3.3. + * ptrip/ptrip.diffs: Adapted. + 2012-03-11 Akira Kakuto <kakuto@fuk.kindai.ac.jp> * ptex-base.ch: remove unnecessary and seemingly wrong changes |