src/Benchmarks/ROOT
2017-04-24 wenzelm 2017-04-24 clarified parent session images, to avoid duplicate loading of theories;
2016-02-13 wenzelm 2016-02-13 clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;