Sat, 24 Jul 2021 16:40:10 +0200 | wenzelm | clarified properties: "module" and "no_build"; | file | diff | annotate |
Sun, 18 Jul 2021 13:27:23 +0200 | wenzelm | clarified component setup: exclude jar from active component, but use sources from template within ISABELLE_HOME (relevant for "isabelle scala_project -L"); | file | diff | annotate |