summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/proofs
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists/proofs')
-rw-r--r--Master/texmf/lists/proofs11
1 files changed, 0 insertions, 11 deletions
diff --git a/Master/texmf/lists/proofs b/Master/texmf/lists/proofs
deleted file mode 100644
index e6ed84b458d..00000000000
--- a/Master/texmf/lists/proofs
+++ /dev/null
@@ -1,11 +0,0 @@
-
-texmf-dist/source/latex/proofs/taylor/QED-.sty
-texmf-dist/source/latex/proofs/taylor/QED.sty
-texmf-dist/source/latex/proofs/taylor/boxproof-old.tex
-texmf-dist/source/latex/proofs/taylor/boxproof.tex
-texmf-dist/source/latex/proofs/taylor/prooftree-doc.dvi
-texmf-dist/source/latex/proofs/taylor/prooftree-doc.tex
-texmf-dist/source/latex/proofs/taylor/prooftree.tex
-texmf-dist/tpm/proofs.tpm
-
-texmf/lists/proofs