git.iko.soy/Idris-dev
on d773edd help sign in
history ofsrc/Idris/Output.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 4f1f462Fix LaTeX pretty printing of backslash, braces and percentJoomy Korkut b71e85bAdd styling for metavariables in LaTeX and HTML pretty printerJoomy Korkut bdc6945Add export list to Idris.ErrorNiklas Larsson c57370eAdd export list to Idris.Output and Idris.ModeCommonNiklas Larsson d4bd8e6Clean up unused imports (#4065)Jason Felice 054978cRevert "Fix #4020: Fix duplication in output of `--hightlight`."Jan de Muijnck-Hughes c51fd2dFix #4020: Fix duplication in output of `--hightlight`.Jan de Muijnck-Hughes 5d7388bMove extensions into source filesEdwin Brady 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 088360fUpdated CHANGELOG and tests.Jan de Muijnck-Hughes e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 09263c1Don't query width when not a ttyNiklas Larsson 0896073Added documentation for modules.Jan de Muijnck-Hughes dfba993Experimental support for console colours on WindowsDavid Raymond Christiansen 9af272eStop traveling through time when highlightingDavid Raymond Christiansen ec0b043Parser-driven highlighting of quasiquoted regionsDavid Raymond Christiansen 2a4e82bParser-driven highlighting of quotation symbolsDavid Raymond Christiansen 520f367Initial parser-driven highlightingDavid Raymond Christiansen 09d107aChange namespace display in :t and :docEdwin Brady ac68541Dump highlighting infoDavid Raymond Christiansen 8d96041Annotate links with their URLDavid Raymond Christiansen 8f9901dAnnotate module imports in source codeDavid Raymond Christiansen acdf90fBe a bit more conservative about highlighting outputDavid Raymond Christiansen 268296fHighlight the names in type declarationsDavid Raymond Christiansen da3a26cAccurate locations for constantsDavid Raymond Christiansen c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek 771ae4aMake IDE mode default to 70 character terminalsDavid Raymond Christiansen c5de844Catch some lingering renames that I missedDavid Raymond Christiansen b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen 60e4921Relax lower bound on mtlEric Mertens 177b96bRemove -Werror from all filesDavid Raymond Christiansen 00f1cd5Use ExceptT instead of ErrorTbmsherman 941ba6eImplemented @-patternsEdwin Brady 3c19722Merge pull request #1749 from alexander-b/fix-buildEdwin Brady 12c7a1bRemove -Werror in Output.hs due to ErrorTEdwin Brady 2d0cc49Output: Use throwError from Control.Monad.ExceptAlexander Berntsen 30580dbRemoval of minor TODOsDavid Raymond Christiansen e90316aSupport type errors in docstringsDavid Raymond Christiansen 16ff91fAdd syntax for example code to docsDavid Raymond Christiansen 37292e1Save terms in docstringsDavid Raymond Christiansen 7289f34Properly highlight constants in :pprintDavid Raymond Christiansen b7010b2New command :pprint for outputting paper/slide bitsDavid Raymond Christiansen 497caf0Make output from :t name annotate with termsDavid Raymond Christiansen a37fc8aAdding a prettyprinted message for undefining namesAlyssa Carter 480024cRemove all the handle argumentsDavid Raymond Christiansen 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert 7d95becMake type search work in the proverDavid Raymond Christiansen e336883Highlight prover output for ideslaveDavid Raymond Christiansen