| Fri, 09 Jul 2021 14:41:22 +0200 | wenzelm | clarified javac options; | changeset | files |
| Fri, 09 Jul 2021 13:46:42 +0200 | wenzelm | clarified syntax: similar to URL; | changeset | files |
| Fri, 09 Jul 2021 13:41:29 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 08 Jul 2021 22:21:31 +0200 | wenzelm | more robust; | changeset | files |
| Thu, 08 Jul 2021 22:17:20 +0200 | wenzelm | more robust; | changeset | files |
| Thu, 08 Jul 2021 22:07:08 +0200 | wenzelm | more compiler_deps via "requirements", notably jar list from settings; | changeset | files |
| Thu, 08 Jul 2021 16:27:35 +0200 | wenzelm | clarified component settings; | changeset | files |