Merge remote-tracking branch 'upstream/master'
commit651d3af419f970be1dd0e7b1877186b1328a6ca8
authorDominic Mulligan <dominic.p.mulligan@googlemail.com>
dateFri 24 Feb 2012, 13:35 (15 years ago)
parent14955ff4082770
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