Sat, 10 Sep 2022 19:37:33 +0200 | wenzelm | more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command); | changeset | files |
Sat, 10 Sep 2022 16:57:18 +0200 | wenzelm | merged; | changeset | files |
Sat, 10 Sep 2022 16:57:12 +0200 | wenzelm | update for release; | changeset | files |