CTAN Comprehensive TeX Archive Network

CTAN up­date: rec-thy

Date: De­cem­ber 1, 2018 6:06:05 AM CET
Peter M. Gerdes sub­mit­ted an up­date to the rec-thy pack­age. Ver­sion num­ber: 2.4.3 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:
v2.4.2 - Fixed hor­ri­ble bugs in­tro­duced in last ver­sion and fixed many sym­bols to work even in pdfla­tex mode. Also things are com­pil­ing again. v2.4.3 - Ren­dered com­pat­i­ble with beamer by re­mov­ing en­u­mitem re­quire­ment if beamer is loaded.
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 https://www.ctan.org/pkg/rec-thy
Thanks for the up­load. For the CTAN Team Man­fred Lotz We are sup­ported by the TeX user groups. Please join a users group; see http://www.tug.org/user­groups.html .

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).

Pack­agerec-thy
Ver­sion2.4.3
Copy­right2010–2018 Peter M. Gerdes
Main­tainerPeter M. Gerdes

An­nounce­ments

more

Guest Book Sitemap Contact Contact Author