Fri, 04 Nov 2016 13:27:31 +0100 | wenzelm | back to stable scala-2.11.8; | changeset | files |
Fri, 04 Nov 2016 11:37:24 +0100 | wenzelm | self_update of components, e.g. for vmnipkow9; | changeset | files |
Thu, 03 Nov 2016 17:51:10 +0100 | wenzelm | updated to scala-2.12.0; | changeset | files |