git.iko.soy/Idris-dev
on master help sign in
made TOC in tutorial clickable but still without color
1819feaMekeor Melire
tutorial/conf.ltxnew file+12
compare with master
unifiedsplit
@@ -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 @@
4\usepackage{palatino}
4\usepackage{palatino}
5\usepackage{url}
5\usepackage{url}
6\usepackage{fancyvrb}
6\usepackage{fancyvrb}
7+\usepackage{hyperref}
7
8
9+\input{conf.ltx}
8\input{macros.ltx}
10\input{macros.ltx}
9\input{library.ltx}
11\input{library.ltx}
10
12