summaryrefslogtreecommitdiff
path: root/language/japanese/platex/platex.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'language/japanese/platex/platex.dtx')
-rw-r--r--language/japanese/platex/platex.dtx11
1 files changed, 6 insertions, 5 deletions
diff --git a/language/japanese/platex/platex.dtx b/language/japanese/platex/platex.dtx
index dabac8c871..a7147374c5 100644
--- a/language/japanese/platex/platex.dtx
+++ b/language/japanese/platex/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
%
%