Peter M. Gerdes submitted an update to the

rec-thy

package.

Version number: 3.01 License type: pd

Summary description: Commands to typeset recursion theory papers

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

Bugfix release 3.01 -------------------

Fixed verb=RE= verb=CE= verb=Re= and verb=Ce= for the various capitalized versions. Fixed weird bug with verb= ecfnl= no longer working based on let. Removed verb=interior= and \verb=closure= as not really appropriate commands for the package and having bugs. Also corrected version in .sty

Release 3.0 -----------

This is a big upgrade and the package should now be stable and configurable enough for serious use by others.

Added requirements environment for multiple requirements. Changed the

eq and equire commands to take their optional argument after the first mandatory arguments as well as before. Added the commands module and modof. Added operator xor. Fixed corner quotes. Added leftofeq, ightof, ightofeq. Added RE, CE, Ce, Re and Tincompat, Tincomp, Tcompat. Changed the way strings are symbolized and coded. Fixed commands to work even with unicode-math. Also added

equire* inside equirements. Added leftofeq, rightof,

rightofeq, leftof. Commands ancestor, descendant, etc... and

eqof, Astages and Vstages now require the option suppPriorityTrees be passed to the class to use and should be viewed as depreciated. Fixed the options system so different symbols can be correctly passed to the class.

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

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

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

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

Thanks for the upload.

For the CTAN Team Manfred Lotz

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