texlive-rec-thy - Commands to typeset recursion theory papers
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | Public Domain |
- Description:
The package provides many macros to express standard notation in recursion theory (otherwise known as computability theory). date: 2012-06-21 10:44:34 +0200
Packages
| texlive-rec-thy-svn27225.1.3-1.1.el7.fc21.noarch [25 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |