Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. updated to File.bash_path; clarified generated shell scripts;
Changeset 6419:fc099ddf35d9 by wenzelm:
merged
Changeset 6418:edb06304deb0 by wenzelm:
updated to File.bash_path;<br>clarified generated shell scripts;
The file was modified thys/Network_Security_Policy_Verification/Lib/ML_GraphViz.thy (diff)
The file was modified thys/Network_Security_Policy_Verification/TopoS_Impl.thy (diff)