git.iko.soy/Idris-dev
on de2011f help sign in
history ofsrc/Idris/Colours.hs
all commits
ef1bd24Indicate the end of each escape sequence in the prompt string, since there's no way for Haskeline to detect it automatically.Mort Yao d6c5b2bAdd semantic highlighting for postulatesDavid Raymond Christiansen e9ef380Support text formatting in docstringsDavid Raymond Christiansen 15aebc9Add highlighting for keywords in interpreter outputDavid Raymond Christiansen aadfef8Allow the use of the default foreground colour. Make it the colour of the prompt.David Christiansen 583cc43Add ability to set ANSI italicsDavid Christiansen e3bd62bColourise REPL promptDavid Christiansen fe20bf1Allow colour options from REPLDavid Christiansen 7c45129Colour theme in Idris REPL stateDavid Christiansen 1beb71cBasic colour theme infrastructureDavid Christiansen 6c14565Move colourisation to a separate moduleDavid Christiansen