CTAN update: rec-thy

CTAN Announcements ctan-ann at ctan.org
Mon Feb 18 20:01:24 CET 2019

Peter M. Gerdes submitted an update to the



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=\recfnl= 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
\req and \require 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, \rightof, \rightofeq.  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
\require* inside \requirements. Added \nleftofeq, \nrightof,
\nrightofeq, \nleftof.  Commands \ancestor, \descendant, etc... and
\reqof, \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 

More information is at


   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 .

More information about the Ctan-ann mailing list