| Fri, 19 May 2017 18:27:11 +0200 | wenzelm | more uniform line-oriented output, notably for scala-2.12.2 REPL which emits "\n" separately; | changeset | files |
| Fri, 19 May 2017 18:10:55 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 19 May 2017 18:10:19 +0200 | wenzelm | suppress ANSI control sequences in Scala console; | changeset | files |