Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. isabelle update_cartouches -c -t;
  2. practically obsolete;
Changeset 62290:658276428cfc by wenzelm:
isabelle update_cartouches -c -t;
The file was modified src/Benchmarks/Datatype_Benchmark/IsaFoR.thy (diff)
The file was modified src/Benchmarks/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy (diff)
The file was modified src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Base.thy (diff)
The file was modified src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thy (diff)
The file was modified src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Unguided_Attacker_Example.thy (diff)
The file was modified src/Benchmarks/Record_Benchmark/Record_Benchmark.thy (diff)
Changeset 62289:ffb2743ae0b9 by wenzelm:
practically obsolete;
The file was modified src/Doc/System/Sessions.thy (diff)