GitHub PushEvent at 2014-12-03 09:56:02
Repository: claferMPS
Actor: markusvoelter
Payload: {"shas":[["e30adc9715e53bca9c822ffe6967dff0a93907ae","be155f6e14d57a8dec1c11a525d2465e418e5dee@acm.org","clafer types, set types and clafer references","Markus Voelter",true]],"size":1,"ref":"refs/heads/master","head":"e30adc9715e53bca9c822ffe6967dff0a93907ae"}