4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson9 years ago 088360fUpdated CHANGELOG and tests.Jan de Muijnck-Hughes10 years ago 71b49d3Refuse to work if listed packages are not installed.Jan de Muijnck-Hughes10 years ago f40d2f9Reduce default optimisation levelEdwin Brady10 years ago 4a65355Run Idris in a UTF-8-compatible codepage on WindowsRyan Scott10 years ago fb33d8cIndentation configuration via command line args.Steven Shaw10 years ago 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes10 years ago fa260c0Signal failures with proper exit codeEcho Nolan10 years ago e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan10 years ago be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan10 years ago 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes10 years ago