summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/texmf-dist/tpm/lkproof.tpm6
-rw-r--r--Master/texmf/lists/lkproof7
-rw-r--r--Master/texmf/lists/proof7
3 files changed, 10 insertions, 10 deletions
diff --git a/Master/texmf-dist/tpm/lkproof.tpm b/Master/texmf-dist/tpm/lkproof.tpm
index 084574a11bd..99e5f8a1eae 100644
--- a/Master/texmf-dist/tpm/lkproof.tpm
+++ b/Master/texmf-dist/tpm/lkproof.tpm
@@ -3,17 +3,17 @@
<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:Date>2006/10/09 22:51:27</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.
+LK Proof figure macros.
</TPM:Title>
<TPM:Description></TPM:Description>
<TPM:Author>Makoto Tatsuta</TPM:Author>
<TPM:Size>47087</TPM:Size>
<TPM:Build/>
- <TPM:RunFiles size="10348">
+ <TPM:RunFiles size="10362">
texmf-dist/tex/latex/lkproof/proof.sty
texmf-dist/tpm/lkproof.tpm
</TPM:RunFiles>
diff --git a/Master/texmf/lists/lkproof b/Master/texmf/lists/lkproof
new file mode 100644
index 00000000000..efc351d3f5e
--- /dev/null
+++ b/Master/texmf/lists/lkproof
@@ -0,0 +1,7 @@
+texmf-dist/doc/latex/lkproof/proofeg.pdf
+texmf-dist/doc/latex/lkproof/proofeg.tex
+
+texmf-dist/tex/latex/lkproof/proof.sty
+texmf-dist/tpm/lkproof.tpm
+
+texmf/lists/lkproof
diff --git a/Master/texmf/lists/proof b/Master/texmf/lists/proof
deleted file mode 100644
index ba5b557d505..00000000000
--- a/Master/texmf/lists/proof
+++ /dev/null
@@ -1,7 +0,0 @@
-texmf-dist/doc/latex/proof/proofeg.pdf
-texmf-dist/doc/latex/proof/proofeg.tex
-
-texmf-dist/tex/latex/proof/proof.sty
-texmf-dist/tpm/proof.tpm
-
-texmf/lists/proof