Merge branch 'master' of github.com:edwinb/Idris-dev
commit2cde01c82ad4ac1235f1edbb3034117c478d9fc0
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateFri 24 Feb 2012, 12:38 (15 years ago)
parentcd38cef4082770
tutorial/conf.ltxnew file+12
@@ -0,0 +1,12 @@
1+
2+%% This file contains configurations of used packages
3+
4+
5+% Configuration of hyperref (to not use colors):
6+\hypersetup{
7+ colorlinks,
8+ linkcolor=black,
9+ citecolor=black,
10+ filecolor=black,
11+ urlcolor=black
12+}
tutorial/idris-tutorial.pdf
Binary file not shown.
tutorial/idris-tutorial.tex+2
@@ -4,7 +4,9 @@
44\usepackage{palatino}
55\usepackage{url}
66\usepackage{fancyvrb}
7+\usepackage{hyperref}
78
9+\input{conf.ltx}
810\input{macros.ltx}
911\input{library.ltx}
1012