diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/plweb/pcode.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/plweb/pcode.sty | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/plweb/pcode.sty b/Master/texmf-dist/tex/latex/plweb/pcode.sty new file mode 100644 index 00000000000..8f678774743 --- /dev/null +++ b/Master/texmf-dist/tex/latex/plweb/pcode.sty @@ -0,0 +1,27 @@ +%% +%% This is file `pcode.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% pl.dtx (with options: `pcode') +%% +%% IMPORTANT NOTICE: +%% +%% For the copyright see the source file. +%% +%% You are *not* allowed to modify this file. +%% +%% You are *not* allowed to distribute this file. +%% For distribution of the original source see the terms +%% for copying and modification in the file pl.dtx. +%% +\ifx\PrologFont\relax\else\input pl.sty\fi +\def\PrologQuintustrue{\PrologDialect{quintus}} +\def\PrologQuintusfalse{\PrologDialect{eclipse}} +\let\WithActiveUnderscore=\WithUnderscore +\let\StopProlog=\EndProlog +\let\PrologInit=\PL@INIT +\endinput +%% +%% End of file `pcode.sty'. |