summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/rec-thy/README
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /macros/latex/contrib/rec-thy/README
Initial commit
Diffstat (limited to 'macros/latex/contrib/rec-thy/README')
-rw-r--r--macros/latex/contrib/rec-thy/README30
1 files changed, 30 insertions, 0 deletions
diff --git a/macros/latex/contrib/rec-thy/README b/macros/latex/contrib/rec-thy/README
new file mode 100644
index 0000000000..a7c9a3aa04
--- /dev/null
+++ b/macros/latex/contrib/rec-thy/README
@@ -0,0 +1,30 @@
+This directory contains the rec-thy package. This package provides a large
+number of macros to express standard pieces of notation in recursion theory
+aka computability theory. The file rec-thy.pdf (which can be generated from
+rec-thy.tex) provides a guide to usage and examples of almost all the macros
+and package options as well as release notes.
+
+Comments, feedback and patches welcomes.
+
+Since my goal is to provide something of use to the community (and myself)
+and having seen some of the problems that can result from even well
+intentioned licenses later down the road, e.g., difficulties updating TeX,
+and since I still hold sole copyright I'm releasing this into the public
+domain (this applies retroactively to prior releases). I would *ask*
+anyone who reuses it not to be a dick about it (give credit, commit upgrades back,
+rename if forking etc..). Note, I will assume that any contributions to this
+package are implicitly released into the public domain as well unless told
+otherwise.
+
+Author: Peter Gerdes email: gerdes@invariant.org
+Github URL: https://github.com/TruePath/Recursion-Theory-Latex-Package
+
+10/15/2010 - v1.0 - Original Release
+01/01/2011 - v1.2
+06/20/2012 - v1.3
+09/26/2017 - v2.0 - Added support for introducing requirements, the subfunction relation and probably other undocumented features
+10/05/2017 - v2.1 - Fixed way packages are required so rec-thy can be loaded in a flexible order. Also fixed one or two bugs.
+11/14/2017 - v2.2 - Fixed \Tdeg so it works different on symbols and vars and added \Tdegof and \Tvarof. Added \subfunneq and \supfunneq.
+12/31/2017 - v2.3 - Added proof cases helper. Also fixed the issue with \ncequiv in XeLaTeX
+1/17/2018 - v2.4 - Added priority tree helpers. Should be more robust with respect to existing definitions of common commands
+2/14/2018 - v2.4.1 - Moved to using xparse to define the case macros and several other macros to allow nested brackets for optional arguments. Added the recf command and cleaned up some option processing. Also worked around the mathtools/unicode-math font bug described here: https://tex.stackexchange.com/questions/335164/incompatibility-with-mathtools-and-unicode-math-in-xelatex/335177 \ No newline at end of file