Mon, 22 May 2017 19:34:01 +0200 | wenzelm | clarified signature; | changeset | files |
Mon, 22 May 2017 15:19:44 +0200 | wenzelm | more settings; | changeset | files |
Mon, 22 May 2017 14:44:07 +0200 | wenzelm | more robust treatment of generated strings; | changeset | files |
Mon, 22 May 2017 14:15:24 +0200 | wenzelm | proper File.platform_path for scala on Windows; | changeset | files |
Mon, 22 May 2017 14:08:22 +0200 | wenzelm | removed junk; | changeset | files |
Mon, 22 May 2017 11:34:42 +0200 | wenzelm | proper File.platform_path for poly on Windows; | changeset | files |