From 90f6268df576cc5fc8d12b01bcea26fb5a11b666 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 24 May 2009 00:21:06 +0000 Subject: plweb update git-svn-id: svn://tug.org/texlive/trunk@13438 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/plweb/README | 84 +++++++++++++++++++++++++ Master/texmf-dist/doc/latex/plweb/pl.dvi | Bin 44588 -> 0 bytes Master/texmf-dist/doc/latex/plweb/pl.pdf | Bin 0 -> 123846 bytes Master/texmf-dist/doc/latex/plweb/sample.pl | 40 ++++++++++++ Master/texmf-dist/source/latex/plweb/README | 84 ------------------------- Master/texmf-dist/source/latex/plweb/sample.pl | 40 ------------ Master/texmf-dist/tex/latex/plweb/pcode.sty | 8 ++- Master/texmf-dist/tex/latex/plweb/pl.sty | 8 ++- Master/tlpkg/bin/tlpkg-ctan-check | 4 +- 9 files changed, 138 insertions(+), 130 deletions(-) create mode 100644 Master/texmf-dist/doc/latex/plweb/README delete mode 100644 Master/texmf-dist/doc/latex/plweb/pl.dvi create mode 100644 Master/texmf-dist/doc/latex/plweb/pl.pdf create mode 100644 Master/texmf-dist/doc/latex/plweb/sample.pl delete mode 100644 Master/texmf-dist/source/latex/plweb/README delete mode 100644 Master/texmf-dist/source/latex/plweb/sample.pl (limited to 'Master') diff --git a/Master/texmf-dist/doc/latex/plweb/README b/Master/texmf-dist/doc/latex/plweb/README new file mode 100644 index 00000000000..5a293eb0e43 --- /dev/null +++ b/Master/texmf-dist/doc/latex/plweb/README @@ -0,0 +1,84 @@ + + Literate Programming for Prolog with LaTeX. + + Gerd Neugebauer + FB Informatik, Universität Koblenz-Landau + gerd@informatik.uni-koblenz.de + + +This file describes the installation procedure of the style options pl +and pcode. The documentation will be produced during this process. + +Files +===== + +The distribution of pl.sty contains at least the following files: + +README This file. +pl.doc The documented style file. +pl.ins The docstrip program to produce pl.sty. +pl.tex The driver file to produce the documentation. +pl.cfg The documentation configuration file. +sample.pl A sample Prolog file. +Makefile A makefile for UN*X (or whoever can use it) + + + +Prerequisites +============= + +(1) You need to have installed LaTeX. + LaTeX 2.09 is ok. + +(2) You need the style option doc.sty and the file docstrip.tex on + your TeX search path. (To put them in the current directory should + also work) + You need a version distributed with LaTeX2e --- even if you still + use LaTeX 2.09. + +(3) You need multicol.sty. At least a file named multicol.sty should + be on your TeX search path if you use LaTeX 2.09. + +(4) You should have the program makeindex to generate the index for the full + documentation. + + +Installation +============ + +(1) If you have a working make (e.g. on UNIX) you can just type + + make + + This performs the following steps which can also be started + manually: + + (1.1) Run LaTeX on the file pl.ins like in + + latex pl.ins + + This should produce the files pl.sty and pcode.sty + (and as a side effect the file pl.log) + + (1.2) Run LaTeX on the file pl.tex like in + + latex pl.tex + + This will produce the documentation file pl.dvi + +(2) Place the file pl.sty and maybe pcode.sty in a place where TeX + searches for it. + +(3) Print the documentation pl.dvi and READ it! + + +PROBLEMS +======== + +* If you do not get your hands on the appropriate version of + docstrip then you can just rename pl.doc into pl.sty. This + should work even if the startup time might be slightly higher. + +* If you get an error during the processing of pl.tex, most + likely your version of doc.sty or multicol.sty is out of date. + diff --git a/Master/texmf-dist/doc/latex/plweb/pl.dvi b/Master/texmf-dist/doc/latex/plweb/pl.dvi deleted file mode 100644 index 1d08cc619df..00000000000 Binary files a/Master/texmf-dist/doc/latex/plweb/pl.dvi and /dev/null differ diff --git a/Master/texmf-dist/doc/latex/plweb/pl.pdf b/Master/texmf-dist/doc/latex/plweb/pl.pdf new file mode 100644 index 00000000000..54a807060b7 Binary files /dev/null and b/Master/texmf-dist/doc/latex/plweb/pl.pdf differ diff --git a/Master/texmf-dist/doc/latex/plweb/sample.pl b/Master/texmf-dist/doc/latex/plweb/sample.pl new file mode 100644 index 00000000000..bbd94d15d7c --- /dev/null +++ b/Master/texmf-dist/doc/latex/plweb/sample.pl @@ -0,0 +1,40 @@ +%%^^A%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +%%^^A This is a sample file to demonstrate the use of the \LaTeX style option +%%^^A pl.sty. +%%^^A +%%^^A The ^^A is just used to make it printable with the documentation. +%%^^A doc.sty insists on it. Otherwise a single % would have been enough. +%%^^A +%%^^A written by gene 11/94 +%%^^A%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% + +:- module(sample). /* + +This is a dummy module to show the possibilities of the \LaTeX{} style +option pl. +We define a predicate. It looks like + +\Predicate select/3(Member, List, Rest). + +This predicate describes the relation of the three arguments which fulfill +$\mbox{\it Member}\in\mbox{\it List}$\/ and $\mbox{\it Rest}=\mbox{\it +List}\backslash\mbox{\it Member}$. + +And here comes the implementation: +\PL*/ +select(Member,[Member|Rest],Rest). +select(Member,[Head|List],[Head|Rest]) :- + select(Member,List,Rest). +/*PL + +\Predicate in/2(Member, List). + +This predicate is a reimplementation of the predicate \verb|member/2| +using the \verb|select/3| predicate. + +\PL*/ +in(Member,List) :- + select(Member,List,_). +/*PL +Now we are done with the example. +\EndProlog*/ diff --git a/Master/texmf-dist/source/latex/plweb/README b/Master/texmf-dist/source/latex/plweb/README deleted file mode 100644 index 5a293eb0e43..00000000000 --- a/Master/texmf-dist/source/latex/plweb/README +++ /dev/null @@ -1,84 +0,0 @@ - - Literate Programming for Prolog with LaTeX. - - Gerd Neugebauer - FB Informatik, Universität Koblenz-Landau - gerd@informatik.uni-koblenz.de - - -This file describes the installation procedure of the style options pl -and pcode. The documentation will be produced during this process. - -Files -===== - -The distribution of pl.sty contains at least the following files: - -README This file. -pl.doc The documented style file. -pl.ins The docstrip program to produce pl.sty. -pl.tex The driver file to produce the documentation. -pl.cfg The documentation configuration file. -sample.pl A sample Prolog file. -Makefile A makefile for UN*X (or whoever can use it) - - - -Prerequisites -============= - -(1) You need to have installed LaTeX. - LaTeX 2.09 is ok. - -(2) You need the style option doc.sty and the file docstrip.tex on - your TeX search path. (To put them in the current directory should - also work) - You need a version distributed with LaTeX2e --- even if you still - use LaTeX 2.09. - -(3) You need multicol.sty. At least a file named multicol.sty should - be on your TeX search path if you use LaTeX 2.09. - -(4) You should have the program makeindex to generate the index for the full - documentation. - - -Installation -============ - -(1) If you have a working make (e.g. on UNIX) you can just type - - make - - This performs the following steps which can also be started - manually: - - (1.1) Run LaTeX on the file pl.ins like in - - latex pl.ins - - This should produce the files pl.sty and pcode.sty - (and as a side effect the file pl.log) - - (1.2) Run LaTeX on the file pl.tex like in - - latex pl.tex - - This will produce the documentation file pl.dvi - -(2) Place the file pl.sty and maybe pcode.sty in a place where TeX - searches for it. - -(3) Print the documentation pl.dvi and READ it! - - -PROBLEMS -======== - -* If you do not get your hands on the appropriate version of - docstrip then you can just rename pl.doc into pl.sty. This - should work even if the startup time might be slightly higher. - -* If you get an error during the processing of pl.tex, most - likely your version of doc.sty or multicol.sty is out of date. - diff --git a/Master/texmf-dist/source/latex/plweb/sample.pl b/Master/texmf-dist/source/latex/plweb/sample.pl deleted file mode 100644 index bbd94d15d7c..00000000000 --- a/Master/texmf-dist/source/latex/plweb/sample.pl +++ /dev/null @@ -1,40 +0,0 @@ -%%^^A%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -%%^^A This is a sample file to demonstrate the use of the \LaTeX style option -%%^^A pl.sty. -%%^^A -%%^^A The ^^A is just used to make it printable with the documentation. -%%^^A doc.sty insists on it. Otherwise a single % would have been enough. -%%^^A -%%^^A written by gene 11/94 -%%^^A%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% - -:- module(sample). /* - -This is a dummy module to show the possibilities of the \LaTeX{} style -option pl. -We define a predicate. It looks like - -\Predicate select/3(Member, List, Rest). - -This predicate describes the relation of the three arguments which fulfill -$\mbox{\it Member}\in\mbox{\it List}$\/ and $\mbox{\it Rest}=\mbox{\it -List}\backslash\mbox{\it Member}$. - -And here comes the implementation: -\PL*/ -select(Member,[Member|Rest],Rest). -select(Member,[Head|List],[Head|Rest]) :- - select(Member,List,Rest). -/*PL - -\Predicate in/2(Member, List). - -This predicate is a reimplementation of the predicate \verb|member/2| -using the \verb|select/3| predicate. - -\PL*/ -in(Member,List) :- - select(Member,List,_). -/*PL -Now we are done with the example. -\EndProlog*/ 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} diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 0e7ada0f265..c80854046dd 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -177,8 +177,8 @@ my @WorkingTLP = qw( permute petiteannonce pgf pgf-soroban pgfopts pgfplots phaistos philex philosophersimprint phonetic pict2e pictex pictex2 pigpen - pinlabel pittetd pkfix pkfix-helper placeins plari plates play - plnfss pmgraph poemscol polski polyglossia polynom polynomial + pinlabel pittetd pkfix pkfix-helper pl placeins plari plates play + plnfss plweb pmgraph poemscol polski polyglossia polynom polynomial polytable powerdot ppr-prv pracjourn preprint prettyref preview proba probsoln procIAGssymp program protex protocol -- cgit v1.2.3