command 'scala_build_generated_files' with proper management of source dependencies;
support more file-formats;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE07cd3b243c69: clarified signature;
- Branches
- Unknown
- Tags