summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tpm/lkproof.tpm
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
committerNorbert Preining <preining@logic.at>2006-10-09 22:53:22 +0000
commit2fabbabd551479c72c4ec985868cb9da3e473271 (patch)
treea40f62f9785cb91f53fa629e374b5e153f139102 /Master/texmf-dist/tpm/lkproof.tpm
parentf74a8364798e9c06b1a8acb62c09833f013da035 (diff)
rename proof to lkproof
git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tpm/lkproof.tpm')
-rw-r--r--Master/texmf-dist/tpm/lkproof.tpm27
1 files changed, 27 insertions, 0 deletions
diff --git a/Master/texmf-dist/tpm/lkproof.tpm b/Master/texmf-dist/tpm/lkproof.tpm
new file mode 100644
index 00000000000..084574a11bd
--- /dev/null
+++ b/Master/texmf-dist/tpm/lkproof.tpm
@@ -0,0 +1,27 @@
+<!DOCTYPE rdf:RDF SYSTEM "../../support/tpm.dtd">
+<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:TPM="http://texlive.dante.de/">
+ <rdf:Description about="http://texlive.dante.de/texlive/Package/lkproof.zip">
+ <TPM:Name>lkproof</TPM:Name>
+ <TPM:Type>Package</TPM:Type>
+ <TPM:Date>2006/01/09 00:44:40</TPM:Date>
+ <TPM:Version>3.0 1997/03/06</TPM:Version>
+ <TPM:Creator>karl</TPM:Creator>
+ <TPM:Title>
+Shell based completion to process and view TeX and LaTeX.
+ </TPM:Title>
+ <TPM:Description></TPM:Description>
+ <TPM:Author>Makoto Tatsuta</TPM:Author>
+ <TPM:Size>47087</TPM:Size>
+ <TPM:Build/>
+ <TPM:RunFiles size="10348">
+texmf-dist/tex/latex/lkproof/proof.sty
+texmf-dist/tpm/lkproof.tpm
+ </TPM:RunFiles>
+ <TPM:DocFiles size="36739">
+texmf-dist/doc/latex/lkproof/proofeg.pdf
+texmf-dist/doc/latex/lkproof/proofeg.tex
+ </TPM:DocFiles>
+ <TPM:Provides>Package/lkproof</TPM:Provides>
+ </rdf:Description>
+</rdf:RDF>
+