CTAN Comprehensive TeX Archive Network

CTAN up­date: rec-thy

Date: Fe­bru­ary 18, 2019 8:01:24 PM CET
Peter M. Gerdes sub­mit­ted an up­date to the rec-thy pack­age. Ver­sion num­ber: 3.01 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:
Bug­fix re­lease 3.01
Fixed \verb=\RE= \verb=\CE= \verb=\Re= and \verb=\Ce= for the var­i­ous cap­i­tal­ized ver­sions. Fixed weird bug with \verb=\recfnl= no longer work­ing based on let. Re­moved \verb=\in­te­rior= and \\verb=\clo­sure= as not re­ally ap­pro­pri­ate com­mands for the pack­age and hav­ing bugs. Also cor­rected ver­sion in .sty Re­lease 3.0
This is a big up­grade and the pack­age should now be sta­ble and con­fig­urable enough for se­ri­ous use by oth­ers. Added re­quire­ments en­vi­ron­ment for mul­ti­ple re­quire­ments. Changed the \req and \re­quire com­mands to take their op­tional ar­gu­ment af­ter the first manda­tory ar­gu­ments as well as be­fore. Added the com­mands \mod­ule and \modof. Added op­er­a­tor \xor. Fixed cor­ner quotes. Added \left­ofeq, \rightof, \rightofeq. Added \RE, \CE, \Ce, \Re and \Tin­com­pat, \Tin­comp, \Tcom­pat. Changed the way strings are sym­bol­ized and coded. Fixed com­mands to work even with uni­code-math. Also added \re­quire* in­side \re­quire­ments. Added \nleft­ofeq, \nrightof, \nrightofeq, \nleftof. Com­mands \an­ces­tor, \de­scen­dant, etc... and \re­qof, \Astages and \Vstages now re­quire the op­tion sup­pPri­or­i­tyTrees be passed to the class to use and should be viewed as de­pre­ci­ated. Fixed the op­tions sys­tem so dif­fer­ent sym­bols can be cor­rectly passed to the class.
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).

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



Guest Book Sitemap Contact Contact Author