CTAN update: rec-thy

CTAN Announcements ctan-ann at ctan.org
Mon Jan 1 20:36:46 CET 2018


Peter M. Gerdes submitted an update to the

                rec-thy

package.

Version number: 2.3
License type: pd

Summary description: Commands to typeset recursion theory papers

Announcement text:
----------------------------------------------------------------------
Added a pfcases enviornment that lets one (either numbered or named by
the case properties) visually divide up a proof segment into a case
based argument.  Both the numbered and non-numbered version are
compatible with both hyperref and cleveref.

Also minor bug fixes (e.g. problems with negated relations under
xelatex).

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

This package is located at 
   http://mirror.ctan.org/macros/latex/contrib/rec-thy

More information is at
   http://www.ctan.org/pkg/rec-thy

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

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

   Thanks for the upload.

     For the CTAN Team
    Ina Dau



More information about the Ctan-ann mailing list