ctan-ann - lkproof Announcements of the Comprehensive TeX Archive Network ctan-ann-lkproof 2026-03-14T23:57:31Z tatsuta's proof macros E1GXgSz-0007jY-00@mta1.cl.cam.ac.uk 2006-10-11T16:57:57Z these macros have been moved from ctan directory macros/latex/contrib/proof to directory ... these macros have been moved from ctan directory macros/latex/contrib/proof to directory macros/latex/contrib/lkproof there are several reasons why this is desirable; from ctan's point of view, it reduces the number of confusing name clashes. i have taken the opportunity of updating the package, from the author's web site in japan, to the current version 3.1. Robin Fairbairns ... ]]> Robin Fairbairns Robin.Fairbairns at cl.cam.ac.uk