Various 'beneath the hood' improvements made to the tutorial project.

+ Moved content to sub- directory.
+ 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.

.gitignore

@@ -21,3 +21,5 @@ tutorial/*.blg
 tutorial/*.log
 tutorial/*.out
 tutorial/*.toc
+tutorial/*.fdb_latexmk
+tutorial/*.fls

tutorial/Makefile

@@ -2,9 +2,7 @@ PAPER = idris-tutorial
 
 all: ${PAPER}.pdf
 
-TEXFILES = ${PAPER}.tex intro.tex starting.tex miscellany.tex typesfuns.tex \
-           classes.tex modules.tex interp.tex views.tex theorems.tex \
-	   provisional.tex syntax.tex conclusions.tex miscellany.tex dsl.tex
+TEXFILES = ${PAPER}.tex content/*.tex
 
 DIAGS = 
 
@@ -13,7 +11,6 @@ SOURCES = ${TEXFILES} ${DIAGS} macros.ltx library.ltx literature.bib
 DITAA = java -jar ~/Downloads/ditaa.jar
 
 ${PAPER}.pdf: ${SOURCES}
-#	dvipdf ${PAPER}.dvi
 	pdflatex ${PAPER}
 	-bibtex ${PAPER}
 	-pdflatex ${PAPER}

tutorial/content/syntax.tex

@@ -118,5 +118,5 @@ Note that we have used the \texttt{\{x\}} form to state that \texttt{x} represen
 a bound variable, substituted on the right hand side. We have also put \texttt{"in"} in
 quotation marks since it is already a reserved word.
 
-\input{dsl}
+\input{./content/dsl}
 

tutorial/idris-tutorial.tex

@@ -1,20 +1,34 @@
-\documentclass{article}
+\documentclass[british, final]{article}
+
+\usepackage[l2tabu,orthodox]{nag}
+\usepackage{fixltx2e}
+\usepackage{babel}
+\usepackage[iso]{isodate}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[protrusion=true, expansion=true]{microtype}
+\usepackage[strict=true]{csquotes}
+\usepackage{xspace}
+
+\usepackage{mathpazo}
+\usepackage[scaled=0.95]{helvet}
+\usepackage{courier}
 
 \usepackage{fullpage}
-\usepackage{palatino}
-\usepackage{url}
 \usepackage{fancyvrb}
 \usepackage{hyperref}
+\usepackage[missing=0.9.10]{gitinfo}
 
 \input{conf.ltx}
 \input{macros.ltx}
 \input{library.ltx}
 
 \newcommand{\Idris}{\textsc{Idris}}
-\newcommand{\version}{0.9.10}
+\newcommand{\version}{\gitVtagn}
+\newcommand{\email}[1]{\texttt{\href{mailto:#1}{#1}}}
 
 \title{Programming in \Idris{}: a tutorial}
-\author{Edwin Brady \\ \url{eb@cs.st-andrews.ac.uk}}
+\author{Edwin Brady \\ \email{eb@cs.st-andrews.ac.uk}}
 
 \begin{document}
 
@@ -22,18 +36,18 @@
 
 \tableofcontents
 
-\input{intro}
-\input{starting}
-\input{typesfuns}
-\input{classes}
-\input{modules}
-\input{interp}
-\input{views}
-\input{theorems}
-\input{provisional}
-\input{syntax}
-\input{miscellany}
-\input{conclusions}
+\input{./content/intro}
+\input{./content/starting}
+\input{./content/typesfuns}
+\input{./content/classes}
+\input{./content/modules}
+\input{./content/interp}
+\input{./content/views}
+\input{./content/theorems}
+\input{./content/provisional}
+\input{./content/syntax}
+\input{./content/miscellany}
+\input{./content/conclusions}
 
 \bibliographystyle{abbrv}
 \bibliography{literature.bib}