summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/plweb
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/plweb')
-rw-r--r--Master/texmf-dist/tex/latex/plweb/pcode.sty8
-rw-r--r--Master/texmf-dist/tex/latex/plweb/pl.sty8
2 files changed, 12 insertions, 4 deletions
diff --git a/Master/texmf-dist/tex/latex/plweb/pcode.sty b/Master/texmf-dist/tex/latex/plweb/pcode.sty
index 8f678774743..665f2ff5139 100644
--- a/Master/texmf-dist/tex/latex/plweb/pcode.sty
+++ b/Master/texmf-dist/tex/latex/plweb/pcode.sty
@@ -10,12 +10,16 @@
%%
%% For the copyright see the source file.
%%
-%% You are *not* allowed to modify this file.
+%% Any modified versions of this file must be renamed
+%% with new filenames distinct from pcode.sty.
%%
-%% 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.
%%
+%% This generated file may be distributed as long as the
+%% original source files, as listed above, are part of the
+%% same distribution. (The sources need not necessarily be
+%% in the same archive or directory.)
\ifx\PrologFont\relax\else\input pl.sty\fi
\def\PrologQuintustrue{\PrologDialect{quintus}}
\def\PrologQuintusfalse{\PrologDialect{eclipse}}
diff --git a/Master/texmf-dist/tex/latex/plweb/pl.sty b/Master/texmf-dist/tex/latex/plweb/pl.sty
index 476549ca8f5..8062ef34257 100644
--- a/Master/texmf-dist/tex/latex/plweb/pl.sty
+++ b/Master/texmf-dist/tex/latex/plweb/pl.sty
@@ -10,12 +10,16 @@
%%
%% For the copyright see the source file.
%%
-%% You are *not* allowed to modify this file.
+%% Any modified versions of this file must be renamed
+%% with new filenames distinct from pl.sty.
%%
-%% 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.
%%
+%% This generated file may be distributed as long as the
+%% original source files, as listed above, are part of the
+%% same distribution. (The sources need not necessarily be
+%% in the same archive or directory.)
\def\filename{pl.doc}
\def\fileversion{3.0}
\def\filedate{1996/05/30}