@@ -5,7 +5,7 @@ Semantic Highlighting & Pretty Printing
55Since ``v0.9.18`` Idris comes with support for semantic highlighting.
66When using the ``REPL`` or IDE support, Idris will highlight your code accordingly to its meaning within the Idris structure. A precursor to semantic highlighting support is the pretty printing of definitions to console, LaTeX, or HTML.
77
8−The default styling scheme used was inspired by Connor McBride's own set of stylings, informally known as *Connor's Colours*.
8+The default styling scheme used was inspired by Conor McBride's own set of stylings, informally known as *Conor Colours*.
99
1010
1111Legend
@@ -41,7 +41,7 @@ Idris also supports the pretty printing of code to HTML and LaTeX using the comm
4141Customisation
4242=============
4343
44−If you are not happy with the colours used. The VIM and Emacs editor support allows for customisation of the colours used. When pretty printing Idris code as LaTeX and HTML, commands and a CSS style are provided. The colours used by the REPL can be customised through the initialisation script.
44+If you are not happy with the colours used, the VIM and Emacs editor support allows for customisation of the colours. When pretty printing Idris code as LaTeX and HTML, commands and a CSS style are provided. The colours used by the REPL can be customised through the initialisation script.
4545
4646
4747Further Information