Sun, 18 Jul 2021 13:41:20 +0200 | wenzelm | discontinued obsolete Apple (deprecated); | changeset | files |
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"); | changeset | files |