tatsuta's proof macros

Robin Fairbairns Robin.Fairbairns at cl.cam.ac.uk
Wed Oct 11 17:57:57 CEST 2006


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

For the CTAN team



More information about the Ctan-ann mailing list