summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-03-24 23:48:47 +0000
committerKarl Berry <karl@freefriends.org>2008-03-24 23:48:47 +0000
commit0767e493de6a05cad8eecbe47e0eb59af537ce91 (patch)
tree142842bff96e1a41faed9a8d4002e5aa6d6495db /Build/source/texk/web2c
parent00198e98ff2865ea8c010e5f88f469bda3e3cfc4 (diff)
revised (doc only) tftopl 3.2 from knuth
git-svn-id: svn://tug.org/texlive/trunk@7134 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c')
-rw-r--r--Build/source/texk/web2c/ChangeLog4
-rw-r--r--Build/source/texk/web2c/tftopl.web4
2 files changed, 6 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/ChangeLog b/Build/source/texk/web2c/ChangeLog
index 169c224bb47..66387278de4 100644
--- a/Build/source/texk/web2c/ChangeLog
+++ b/Build/source/texk/web2c/ChangeLog
@@ -1,3 +1,7 @@
+2008-03-25 Karl Berry <karl@tug.org>
+
+ * tftopl.web: revised version 3.2 from Knuth.
+
2008-03-24 Karl Berry <karl@tug.org>
* tex.ch: use print_c_string to print the new prompt_file_name
diff --git a/Build/source/texk/web2c/tftopl.web b/Build/source/texk/web2c/tftopl.web
index 04711eef095..d77f4b8a428 100644
--- a/Build/source/texk/web2c/tftopl.web
+++ b/Build/source/texk/web2c/tftopl.web
@@ -31,7 +31,7 @@
\vfill
\centerline{\titlefont The {\ttitlefont TFtoPL} processor}
\vskip 15pt
- \centerline{(Version 3.1, November 1989)}
+ \centerline{(Version 3.2, February 2008)}
\vfill}
\def\botofcontents{\vfill
\centerline{\hsize 5in\baselineskip9pt
@@ -62,7 +62,7 @@ Extensions for an enhanced ligature mechanism were added by the author in 1989.
The |banner| string defined here should be changed whenever \.{TFtoPL}
gets modified.
-@d banner=='This is TFtoPL, Version 3.1' {printed when the program starts}
+@d banner=='This is TFtoPL, Version 3.2' {printed when the program starts}
@ This program is written entirely in standard \PASCAL, except that
it occasionally has lower case letters in strings that are output.