4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson9 years ago e64d8f0Allowed `--highlight` in pkg commands.Jan de Muijnck-Hughes10 years ago 0512dd0Make Travis Pass AgainJan de Muijnck-Hughes10 years ago 57068a9When asked Idris will 'audit' Idris projects.Jan de Muijnck-Hughes10 years ago 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes10 years ago 03f3980Fix package testing for windows. Fixes #3541Jan de Muijnck-Hughes10 years ago f6cd836Always run all tests, and exit 1 if any failJames Alexander Feldman-Crough10 years ago e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan10 years ago b949b28Fix build system dir inconsistencies.Jan de Muijnck-Hughes10 years ago de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes10 years ago 0df1270Change Instance to implementation (#3404)(λ _ λ)10 years ago bfc32acFix #3397 - ibcsubdir was brokenEcho Nolan10 years ago 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes10 years ago 483fd4fBetter handling of optional main in package filesBartosz Przygoda10 years ago cc1d697Improvements to iPKG code.Jan de Muijnck-Hughes10 years ago