| Fri, 09 Jul 2021 13:46:42 +0200 | wenzelm | clarified syntax: similar to URL; | file | diff | annotate |
| Fri, 09 Jul 2021 13:41:29 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 08 Jul 2021 22:21:31 +0200 | wenzelm | more robust; | file | diff | annotate |
| Thu, 08 Jul 2021 22:17:20 +0200 | wenzelm | more robust; | file | diff | annotate |
| Thu, 08 Jul 2021 22:07:08 +0200 | wenzelm | more compiler_deps via "requirements", notably jar list from settings; | file | diff | annotate |
| Thu, 08 Jul 2021 14:20:36 +0200 | wenzelm | clarified shasum: sources / resources within jar; | file | diff | annotate |
| Thu, 08 Jul 2021 13:16:31 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |