diff options
Diffstat (limited to 'Master/texmf-dist/source/platex/base/platex.dtx')
-rw-r--r-- | Master/texmf-dist/source/platex/base/platex.dtx | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Master/texmf-dist/source/platex/base/platex.dtx b/Master/texmf-dist/source/platex/base/platex.dtx index dabac8c871b..a7147374c5e 100644 --- a/Master/texmf-dist/source/platex/base/platex.dtx +++ b/Master/texmf-dist/source/platex/base/platex.dtx @@ -256,11 +256,12 @@ % a \TeX\ engine with extensions for Japanese typesetting, % which is designed for high-quality % Japanese book ``p''ublishing.\footnote{There is another -% old implementation of Japanese \LaTeX, called -% \JLaTeX\ (not available in \TeX\ Live). -% Also, MiK\TeX\ has another program \texttt{platex}, but +% old implementation of Japanese \LaTeX\ by +% NTT Electrical Communications Laboratories, named +% \JLaTeX\ (unavailable in \TeX\ Live). +% Also, MiK\TeX\ has another program \texttt{platex} for Polish, but % it has nothing to do with our Japanese \pLaTeX!} -% Both \pTeX\ and \pLaTeX\ were developed by ASCII Corporation +% Both of them were developed by ASCII Corporation % (and its successor ASCII Media Works), % so they are often referred to as ``ASCII \pTeX'' and ``ASCII \pLaTeX'' % respectively. @@ -289,7 +290,7 @@ % document now, since \pLaTeXe\ came into existence in 1995 % (although the English translation has been done by % Japanese \TeX\ Development Community since 2017). -% The detail of source codes are described separately in pldoc-en.pdf. +% ^^A The detail of source codes are described separately in pldoc-en.pdf. %\fi % % |