idris-lang/Idris-dev — pull request #964 by jfdm (2014-03-10 12:04:23+00:00)
Title: Upstream updates to idrislang.sty

+ Fixed braces problem.
+ Removed clutter from file.
+ allowed for a static indent for xleftmargin.