5ef1dbdFix export lists for CmdOptions and TerminationNiklas Larsson9 years ago 250eb73Merge pull request #3921 from geigerzaehler/remove-old-ghcNiklas Larsson9 years ago 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson9 years ago 040735dUpdate optparse-applicativeThomas Scholtes9 years ago 57068a9When asked Idris will 'audit' Idris projects.Jan de Muijnck-Hughes10 years ago fb33d8cIndentation configuration via command line args.Steven Shaw10 years ago 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes10 years ago 4b21a57Fix building with optparse-applicative-0.13.0Echo Nolan10 years ago e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan10 years ago de5a79cAllow Idris to install IdrisDoc into a central location.Jan de Muijnck-Hughes10 years ago be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan10 years ago 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi10 years ago 7973024Some internal structural Changes.Jan de Muijnck-Hughes10 years ago cb210b1Addition of a command line flag `--info`.Jan de Muijnck-Hughes10 years ago 120b53cMerge pull request #3346 from jfdm/collate-infoJan de Muijnck-Hughes10 years ago c96148cCollate 'info' about idris setup.Jan de Muijnck-Hughes10 years ago d544a6fKeep filename args in the order specified on the cmd line.Steven Shaw10 years ago 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes10 years ago 0896073Added documentation for modules.Jan de Muijnck-Hughes10 years ago d2a8c3eFold portable into CodegenNiklas Larsson10 years ago 80225afExport intermediate representation as JSONNiklas Larsson10 years ago 1726bf9Changed type classes in error messages and documentation to interfaces where necessary (previously forgotten)Ahmad Salim Al-Sibahi11 years ago 4de5a73Deprecate the `MavenProject` output option.Jan de Muijnck-Hughes11 years ago 838cc38Generalise help messages for Hardware Specific Options.Jan de Muijnck-Hughes11 years ago 2b79682Prettify Formating of `CmdOptions.hs`.Jan de Muijnck-Hughes11 years ago 4755a72Backdated man page and update year in CLI Help.Jan de Muijnck-Hughes11 years ago 743e0d6Removed deprecated command line flags.Jan de Muijnck-Hughes11 years ago fd9003bAdded flag to display available logging categories.Jan de Muijnck-Hughes11 years ago 5f3e700Added new logging category for IBC operations.Jan de Muijnck-Hughes11 years ago 9255de5Logging Categories: Fixed typo, and updated changelog.Jan de Muijnck-Hughes11 years ago 39a8c78Categorised the Logs.Jan de Muijnck-Hughes11 years ago 5dc9d1aUpdated logging categories.Jan de Muijnck-Hughes11 years ago d901c69Initial commit for a category based logger for Idris.Jan de Muijnck-Hughes11 years ago 1d40dbdMake it possible to disable tactic deprecationDavid Raymond Christiansen11 years ago 90bbf06Add deprecation warning for %elimDavid Raymond Christiansen11 years ago f5bff01Pass parameters to codegens with new cmdoption --cg-optNiklas Larsson11 years ago 632ff47Update codegen option help textNiklas Larsson11 years ago edb2809Documentation Fixes for CLIJan de Muijnck-Hughes11 years ago ac68541Dump highlighting infoDavid Raymond Christiansen11 years ago 1bf2731issue #2004 resolved by --consolewith cmd line paramAndreas Reuleaux12 years ago d4371e6Generate interface files for C->Idris callsEdwin Brady12 years ago f70afabReplace a fancy apostrophe with a basic ASCII oneNiklas Larsson12 years ago b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen12 years ago e0861bbAdded missing documentation for the CLI.Jan de Muijnck-Hughes12 years ago 7fedc76Extended parseFlagsNorbert Melzer12 years ago 8e6b636Optimisation optionsEdwin Brady12 years ago d9b4c4cFix for optparse-applicative breaking changeRyanGlScott12 years ago 4fd6bc6Allow REPL to run on another port (flag --port)Sebastian de Bellefon12 years ago b46ba07Fix typo in help message (language extension)Mort Yao12 years ago 12ff2e3Remove unnecessary importDavid Raymond Christiansen12 years ago