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