GitHub PushEvent at 2014-06-12 19:57:04
Repository: topoS
Actor: diekmann
Payload: {"shas":[["ae58a5b369369912b083166b2427bbdc9ca8345b","4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","tuned","Cornelius Diekmann",true],["ad39a0b73479d9f4c9bef89b2825324ac7213cd5","4aa685c476781416c6cd5f00e9ee5c648de49e6a@net.in.tum.de","simplified proof rule","Cornelius Diekmann",true]],"size":2,"ref":"refs/heads/dev-unstable","head":"ad39a0b73479d9f4c9bef89b2825324ac7213cd5"}