Coder Social home page Coder Social logo

truepath / recursion-theory-latex-package Goto Github PK

View Code? Open in Web Editor NEW
4.0 4.0 1.0 3.55 MB

This is a package with a bunch of useful commands and symbols for recursion theorists a.k.a. computability theorists.

Home Page: http://invariant.org/projects.html

TeX 99.93% Shell 0.07%

recursion-theory-latex-package's People

Contributors

truepath avatar

Stargazers

 avatar  avatar  avatar  avatar

Watchers

 avatar  avatar

Forkers

neo4reo

recursion-theory-latex-package's Issues

Package throws errors with MacTeX 2018 / pdflatex

I recently installed MacTeX 2018 and am now getting errors when trying to compile documents that use the rec-thy package using pdflatex.

Here's a minimal working example:

\documentclass{article}
\usepackage{rec-thy}
\begin{document}
\end{document}

And here's the console output I get when running pdflatex on that example, along with the full log file:

$ pdflatex min-working-example.tex 
This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./min-working-example.tex
LaTeX2e <2018-04-01> patch level 2
Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/size10.clo))
(/usr/local/texlive/2018/texmf-dist/tex/latex/rec-thy/rec-thy.sty
(/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/ltxcmds.sty)
(/usr/local/texlive/2018/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/local/texlive/2018/texmf-dist/tex/latex/bigfoot/suffix.sty)
(/usr/local/texlive/2018/texmf-dist/tex/latex/ifmtarg/ifmtarg.sty)
(/usr/local/texlive/2018/texmf-dist/tex/latex/xifthen/xifthen.sty
(/usr/local/texlive/2018/texmf-dist/tex/latex/tools/calc.sty)
(/usr/local/texlive/2018/texmf-dist/tex/latex/base/ifthen.sty))
(/usr/local/texlive/2018/texmf-dist/tex/latex/xkeyval/xkeyval.sty
(/usr/local/texlive/2018/texmf-dist/tex/generic/xkeyval/xkeyval.tex
(/usr/local/texlive/2018/texmf-dist/tex/generic/xkeyval/xkvutils.tex
(/usr/local/texlive/2018/texmf-dist/tex/generic/xkeyval/keyval.tex))))
(/usr/local/texlive/2018/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3packages/xparse/xparse.sty
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3kernel/expl3.sty
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3kernel/expl3-code.tex)
(/usr/local/texlive/2018/texmf-dist/tex/latex/l3kernel/l3pdfmode.def))))
(/usr/local/texlive/2018/texmf-dist/tex/latex/enumitem/enumitem.sty)
! Undefined control sequence.
\rec-thy.sty-h@@k ... *{\req@nohref } \newtagform 
                                                  {colon}{}{:} \newenvironme...
l.3 \begin
          {document}
? ^[

Thanks in advance for looking at this. rec-thy is a great package that has saved me a lot of time, and I very much appreciate your work in having written it.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.