CTAN Update: ebproof

[CTAN Announcements]

Emmanuel Beffara submitted an update to the

                ebproof

package.

Version:  2.0  2017-05-17
License:  lppl1.3

Summary description:  Formal proofs in the style of sequent calculus

Announcement text:
----------------------------------------------------------------------

 This is a complete rewrite of the package allowing for future
 developments. It now uses the expl3 programming environment
 instead of pgfkeys and additional packages.

 The feature set from the user's point of view is mostly unchanged
 except that commands have been renamed to lowercase (but backwards
 compatibility is preserved, with warnings) and that a new command
 \rewrite has been added, to allow arbitrary decoration of proof
 subtrees.

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

The package’s Catalogue entry can be viewed at
   https://ctan.org/pkg/ebproof

The package’s files themselves can be inspected at
   http://mirror.ctan.org/macros/latex/contrib/ebproof/

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

   Thanks for the upload.

     For the CTAN Team
    Petra Rübe-Pugliese

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

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