diff options
| author | Norbert Preining <preining@logic.at> | 2006-10-09 22:53:22 +0000 |
|---|---|---|
| committer | Norbert Preining <preining@logic.at> | 2006-10-09 22:53:22 +0000 |
| commit | 2fabbabd551479c72c4ec985868cb9da3e473271 (patch) | |
| tree | a40f62f9785cb91f53fa629e374b5e153f139102 /Build | |
| parent | f74a8364798e9c06b1a8acb62c09833f013da035 (diff) | |
rename proof to lkproof
git-svn-id: svn://tug.org/texlive/trunk@2289 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/tools/tpm-ctan-check | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check index 027cf7970bc..742536a0d55 100755 --- a/Build/tools/tpm-ctan-check +++ b/Build/tools/tpm-ctan-check @@ -59,7 +59,7 @@ sub main koma-script l2picfaq l2tabu-english labelcas latex latex-tds ledmac lewis lfb lh linearA lineno - listings lsc + listings lkproof lsc lshort-bulgarian lshort-dutch lshort-english lshort-finnish lshort-french lshort-german lshort-italian lshort-japanese lshort-korean @@ -76,8 +76,8 @@ sub main oberdiek ocr-latex octavo opcit pauldoc pdf-trans pdfcprot pdfpages pdftex-def perception perltex pgf pictex pict2e placeins plari - polynom poemscol powerdot #powerdot-doc-vn - ppr-prv pracjourn preview probsoln proof psfrag psnfss pstricks + polynom poemscol powerdot + ppr-prv pracjourn preview probsoln psfrag psnfss pstricks pstricks-add pst-3d pst-3dplot pst-barcode pst-blur pst-eucl pst-func pst-tree pst-labo pst-lens pst-optic pst-osci pst-pdf pst-pdgr pst-slpe |