| Sat, 20 May 2017 20:26:52 +0200 | wenzelm | keep main build.log to help diagnosing spurious lack of log_path.xz; | changeset | files |
| Fri, 19 May 2017 20:23:07 +0200 | wenzelm | clarified build_polyml_component; | changeset | files |
| Fri, 19 May 2017 19:41:28 +0200 | wenzelm | avoid mixture of symlinks and hardlinks, which causes problems with BSD tar on macOS Sierra; | changeset | files |
| Fri, 19 May 2017 19:12:26 +0200 | wenzelm | updated; | changeset | files |
| 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 |
| Fri, 19 May 2017 16:43:11 +0200 | wenzelm | updated to scala-2.12.2; | changeset | files |