CTAN Update: ebproof

[CTAN Announcements]

Emmanuel Beffara submitted an update to the

                ebproof

package.

Version:  1.1 / 2015-03-13
License:  lppl1.3

Summary description:  Formal proofs in the style of sequent calculus.

Announcement text:
----------------------------------------------------------------------
 
 Removed incorrect uses of \ifthenelse.
  
 Changed the template options to make them more robust.

----------------------------------------------------------------------

This package is located at
   http://mirror.ctan.org/macros/latex/contrib/ebproof/

More information is at
   http://www.ctan.org/pkg/ebproof

We are supported by the TeX Users Group http://www.tug.org .
Please join a users group; see http://www.tug.org/usergroups.html .

------------------------------------------------------------------------

   Thanks for the upload.

     For the CTAN Team
    Petra Rübe-Pugliese