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;
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) |
The file was modified | src/HOL/Eisbach/Examples_FOL.thy (diff) |
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 |
The file was modified | src/HOL/ROOT (diff) |