CTAN update: rec-thy
Date: June 6, 2020 8:41:15 AM CEST
Peter M. Gerdes submitted an update to the
rec-thy
package.
Version number: 3.4 2020-06-04
License type: pd
Summary description: Commands to typeset recursion theory papers
Announcement text:
V3.4 - Removed dependence on undertilde.sty as it is lacking from texlive distributions.
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 Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
V3.4 - Removed dependence on undertilde.sty as it is lacking from texlive distributions.
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 Erik Braun
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
rec-thy – Commands to typeset recursion theory papers
This package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.
| Package | rec-thy |
| Version | 4.0 2024-03-29 |
| Copyright | 2010–2024 Peter M. Gerdes |
| Maintainer | Peter M. Gerdes |