diff options
Diffstat (limited to 'Master/texmf/lists/proofs')
-rw-r--r-- | Master/texmf/lists/proofs | 11 |
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 |