Changes

Summary

obsolete -- no such conditions in main Isabelle repository;
tuned header;
clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;
unconditional test -- nothing special here;

Changeset 62288:8bbbe07cd0ee by wenzelm: obsolete -- no such conditions in main Isabelle repository;
The file was modified	`Admin/isatest/settings/mac-poly-M2-alternative` (diff)
The file was modified	`Admin/isatest/settings/mac-poly-M4` (diff)
The file was modified	`Admin/isatest/settings/mac-poly-M8` (diff)
Changeset 62287:44bac8bebd9c by wenzelm: tuned header;
The file was modified	`src/HOL/Eisbach/Examples_FOL.thy` (diff)
Changeset 62286:705d4c4003ea by wenzelm: clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;
The file was added	`src/Benchmarks/Datatype_Benchmark/Brackin.thy`
The file was added	`src/Benchmarks/Datatype_Benchmark/IsaFoR.thy`
The file was added	`src/Benchmarks/Datatype_Benchmark/Misc_N2M.thy`
The file was added	`src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy`
The file was added	`src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Base.thy`
The file was added	`src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thy`
The file was added	`src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thy`
The file was added	`src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy`
The file was added	`src/Benchmarks/ROOT`
The file was added	`src/Benchmarks/Record_Benchmark/Record_Benchmark.thy`
The file was modified	`src/HOL/ROOT` (diff)
The file was removed	`src/HOL/Datatype_Examples/Brackin.thy`
The file was removed	`src/HOL/Datatype_Examples/IsaFoR.thy`
The file was removed	`src/HOL/Datatype_Examples/Misc_N2M.thy`
The file was removed	`src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy`
The file was removed	`src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Base.thy`
The file was removed	`src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thy`
The file was removed	`src/HOL/Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thy`
The file was removed	`src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy`
The file was removed	`src/HOL/Record_Benchmark/Record_Benchmark.thy`
Changeset 62285:747fc3692fca by wenzelm: unconditional test -- nothing special here;
The file was modified	`src/HOL/ROOT` (diff)