CTAN Update: ebproof

[CTAN Announcements]

Emmanuel Beffara submitted an update to the

                ebproof

package.

Version:  2.1 2020-08-19
License:  lppl1.3

Summary description:  Formal proofs in the style of sequent calculus

Announcement text:
----------------------------------------------------------------------
 
 This is mostly a bugfix release which ensures compatibility
 with the new LaTeX release.

 It also makes the `prooftree` environment robust in tabular
 contexts and provides a new statement `\overlay` that can
 be useful in slideshows.

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

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

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

CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see https://ctan.org/lugs