edwinb/tactics-tutorial — pull request #1 by jfdm (2014-12-31 12:30:24+00:00)
Title: Screen and Print Versions and gitignore.

+ Added gitignore
+ Brought the project structure inline with the main idris tutorial adding a screen and print versions.
+ Fixed styling of the table for the interactive editing commands.
+ Fixed styling of REPL output.