2 files changed, 12 insertions, 36 deletions
diff --git a/Master/texmf-dist/ls-R b/Master/texmf-dist/ls-R
index e90d070c54b..ff75634519f 100644
--- a/Master/texmf-dist/ls-R
+++ b/Master/texmf-dist/ls-R
@@ -5001,6 +5001,7 @@ listbib
 listings
 listliketab
 listofsymbols
+lkproof
 localloc
 logic
 logpap
@@ -5149,7 +5150,6 @@ polynom
 polytable
 postcards
 powerdot
-powerdot-doc-vn
 ppower4
 ppr-prv
 pracjourn
@@ -5161,7 +5161,6 @@ procIAGssymp
 progkeys
 program
 progress
-proof
 prosper
 protocol
 pseudocode
@@ -8737,6 +8736,10 @@ listliketab.pdf
 README
 listofsymbols.dvi
 
+./doc/latex/lkproof:
+proofeg.pdf
+proofeg.tex
+
 ./doc/latex/localloc:
 localloc.dvi
 localtst.tex
@@ -9955,29 +9958,6 @@ powerdot-example3.tex
 powerdot.layout
 powerdot.pdf
 
-./doc/latex/powerdot-doc-vn:
-README
-exa
-img
-powerdot-doc-vi-print.pdf
-powerdot-doc-vi.pdf
-
-./doc/latex/powerdot-doc-vn/exa:
-README
-example-1.pdf
-example-1.tex
-
-./doc/latex/powerdot-doc-vn/img:
-lst-bookmarks.png
-powerdot-ciment.png
-powerdot-default.png
-powerdot-fyma.png
-powerdot-ikeda.png
-powerdot-simple.png
-powerdot-tyjca.png
-tab-contents.png
-tab-slide-contents.png
-
 ./doc/latex/ppower4:
 bericht.pdf
 demo
@@ -10108,10 +10088,6 @@ progress.tex
 progress20030701.html
 progress20030714.html
 
-./doc/latex/proof:
-proofeg.pdf
-proofeg.tex
-
 ./doc/latex/prosper:
 Example.tex
 ExampleAlienglow.tex
@@ -49302,6 +49278,7 @@ listings
 listliketab
 listofsymbols
 literat
+lkproof
 lm
 localloc
 logic
@@ -49488,7 +49465,6 @@ procIAGssymp
 progkeys
 program
 progress
-proof
 prosper
 protocol
 pseudocode
@@ -53372,6 +53348,9 @@ t1tli.fd
 t2atli.fd
 ts1tli.fd
 
+./tex/latex/lkproof:
+proof.sty
+
 ./tex/latex/lm:
 lmodern.sty
 ly1lmr.fd
@@ -54869,9 +54848,6 @@ program.sty
 ./tex/latex/progress:
 progress.sty
 
-./tex/latex/proof:
-proof.sty
-
 ./tex/latex/prosper:
 PPRalcatel.sty
 PPRalienglow.sty
@@ -55425,6 +55401,7 @@ sciposter.cls
 Sw2Rus.sty
 
 ./tex/latex/screenplay:
+hardmarg.sty
 screenplay.cls
 
 ./tex/latex/script:
@@ -61220,6 +61197,7 @@ listings.tpm
 listliketab.tpm
 listofsymbols.tpm
 literat.tpm
+lkproof.tpm
 lm.tpm
 localloc.tpm
 logic.tpm
@@ -61460,7 +61438,6 @@ polyglot.tpm
 polynom.tpm
 polytable.tpm
 postcards.tpm
-powerdot-doc-vn.tpm
 powerdot.tpm
 ppower4.tpm
 ppr-prv.tpm
@@ -61474,7 +61451,6 @@ procIAGssymp.tpm
 progkeys.tpm
 program.tpm
 progress.tpm
-proof.tpm
 prosper.tpm
 protocol.tpm
 psafm.tpm
diff --git a/Master/texmf/ls-R b/Master/texmf/ls-R
index f39f238389c..c77c61d1c92 100644
--- a/Master/texmf/ls-R
+++ b/Master/texmf/ls-R
@@ -2468,6 +2468,7 @@ listliketab
 listofsymbols
 literat
 lkort
+lkproof
 lm
 localloc
 logic
@@ -2749,7 +2750,6 @@ procIAGssymp
 progkeys
 program
 progress
-proof
 prosper
 protocol
 psafm