edwinb/Idris-dev — pull request #496 by david-christiansen (2013-09-23 01:18:13+00:00)
Title: Add ability to set ANSI italics

This is not widely supported - it may not work for some users.