Note #3643 in CHANGELOG
In response to
https://github.com/idris-lang/Idris-dev/pull/3643#issuecomment-277215251
commit0d5d85dd2c1b24cceffab0d6ed5047a995cfb0fb
authorRyan Scott <ryan.gl.scott@gmail.com>
dateFri 3 Feb 2017, 09:20 (10 years ago)
parentb6e1a8c
CHANGELOG.md+3
@@ -29,6 +29,9 @@
2929
3030+ New REPL command `:!` that runs an external shell command.
3131
32++ The REPL now colourises output on MinTTY consoles (e.g., Cygwin and MSYS)
33+ on Windows, which previously did not occur due to a bug.
34+
3235## Library Updates
3336
3437+ Terminating programs has been improved with more appropriate