idris-lang/Idris-dev — pull request #613 by jfdm (2013-11-13 12:08:00+00:00)
Title: Changes to tutorial.

Made various changes to the Idris tutorial.

+ Fixed problems with author...
+ Improved project structure.
+ Updated Makefile
+ Updated latex packages
+ Modern versions of font packages
+ nagging support for outdated LaTeX commands and packages.
+ Better font spacing and language support.
+ Added support for latexmk artifacts within .gitignore.
+ Added support for git and auto-fetching version info from tags.
+ Currently version info is hard coded.
+ If the correct hook is added the fetching can be automated.
+ Migrated to listings from fancyvrb
+ Improved idrislang.sty