git.iko.soy/Idris-dev
on 54e4e41 help sign in
history ofsrc/Idris/IdeMode.hs
all commits
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