check free-form Scala source;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3b35b0fd7fe8: clarified static_check: avoid accidental evaluation;
- Branches
- Unknown
- Tags
check free-form Scala source; Tags None Subscribers None |