Merge pull request #14 from MekeorMelire/master
I made the TOC of the tutorial clickable but still without (annoying) colors
commit408277007109b5e3e5a74d127ac8e83833449ac0
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateFri 24 Feb 2012, 04:32 (15 years ago)
parent1c2098a1819fea
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