edwinb/Idris-dev — pull request #14 by MekeorMelire (2012-02-24 12:30:00+00:00)
Title: I made the TOC of the tutorial clickable but still without (annoying) colors

I used the hyperref package for that.
I added a file tutorial/conf.ltx which contains the configuration of hyperref.

This is one of my first pull requests, so please be merciful :)