git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/IdeMode.hs
all commits
6e13c82Support presentations of abstract names in outputDavid Raymond Christiansen e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 0896073Added documentation for modules.Jan de Muijnck-Hughes 5bd5777Add :makecase (:mc) to REPL and ide-modeEdwin Brady ec0b043Parser-driven highlighting of quasiquoted regionsDavid Raymond Christiansen ac68541Dump highlighting infoDavid Raymond Christiansen 8d96041Annotate links with their URLDavid Raymond Christiansen 5542d1cAdd maximum pretty-printer depth option.David Raymond Christiansen e6e5472Fix a few user-visible leftover uses of “Float”Melvar Chen 8f9901dAnnotate module imports in source codeDavid Raymond Christiansen c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen ab9a2bcAdd a :browse command to the REPL and IDE equivalentDavid Raymond Christiansen 8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady 6c26814Add IDE command for showing TTDavid Raymond Christiansen 83793a6Add the ability for IDEs to get documentation overviewsDavid Raymond Christiansen e88e306Add IDE command to get Idris versionDavid Raymond Christiansen b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen