Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. import udpates for Chord_Segments
  2. merged from afp-2016
  3. correct URL
Changeset 7198:e331c59d5628 by kleing:
import udpates for Chord_Segments
The file was modified thys/Chord_Segments/Chord_Segments.thy (diff)
The file was modified thys/Chord_Segments/ROOT (diff)
Changeset 7197:4287ff23f90c by kleing:
merged from afp-2016
Changeset 7196:3e0d210619da by gerwin.klein@nicta.com.au:
correct URL
The file was modified web/submitting.shtml (diff)