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