GitHub PushEvent at 2014-07-22 16:52:31
Repository: hilbert
Actor: liamoc
Payload: {"shas":[["d4c138196ef78aa276ee6729954026be4354e83d","58e34d62b2f1b1172de56e3ed269bca4d9978c82@cse.unsw.edu.au","More skinnability, slightly more informative sidebar","Liam O'Connor",true],["1a0b604560ce2b53ab935043bbd3dd650116159e","58e34d62b2f1b1172de56e3ed269bca4d9978c82@cse.unsw.edu.au","Extra proof obligation in addition example","Liam O'Connor",true]],"size":2,"ref":"refs/heads/first-order","head":"1a0b604560ce2b53ab935043bbd3dd650116159e"}