CTAN Update: ebproof

CTAN Announcements ctan-ann at dante.de
Mon Mar 30 07:44:16 CEST 2015

Emmanuel Beffara submitted an update to the



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

More information is at

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

More information about the Ctan-ann mailing list