CTAN Comprehensive TeX Archive Network

CTAN up­date: rec-thy

Date: Fe­bru­ary 15, 2018 10:31:46 PM CET
Peter M. Gerdes sub­mit­ted an up­date to the rec-thy pack­age. Ver­sion num­ber: 2.4.1 Li­cense type: pd Sum­mary de­scrip­tion: Com­mands to type­set re­cur­sion the­ory pa­pers An­nounce­ment text:
Moved to us­ing xparse to de­fine the case macros and sev­eral other macros to al­low nested brack­ets for op­tional ar­gu­ments. Added the recf com­mand and cleaned up some op­tion pro­cess­ing. Also worked around the math­tools/uni­code-math font bug de­scribed here: https://tex.stack­ex­change.com/ques­tions/335164/in­com­pat­i­bil­ity-with-math­tools-and-uni­code-math-in-xe­la­tex/335177
This pack­age is lo­cated at http://mir­ror.ctan.org/macros/la­tex/con­trib/rec-thy More in­for­ma­tion is at http://www.ctan.org/pkg/rec-thy We are sup­ported by the TeX User Groups. Please join a users group; see http://www.tug.org/user­groups.html .
Thanks for the up­load. For the CTAN Team Ina Dau

rec-thy – Com­mands to type­set re­cur­sion the­ory pa­pers

The pack­age pro­vides many macros to ex­press stan­dard no­ta­tion in re­cur­sion the­ory (oth­er­wise known as com­putabil­ity the­ory).

Copy­right2010–2019 Peter M. Gerdes
Main­tainerPeter M. Gerdes



Guest Book Sitemap Contact Contact Author