GitHub PushEvent at 2014-01-07 15:23:06
Repository: sf
Actor: fniksic
Payload: {"shas":[["bc603c95dd04779584e19831a77ff4c36d7eb863","a295e0bdde1938d1fbfd343e5a3e569e868e1465@mpi-sws.org","Removed garbage from Prop","Beta Ziliani",true],["e7a02f9f5606c07cc6378cfdc776f27cc6df7c85","a295e0bdde1938d1fbfd343e5a3e569e868e1465@mpi-sws.org","Logic","Beta Ziliani",true],["b53c6af5a1a98b216b0a102e04a335bf14e17fe7","a295e0bdde1938d1fbfd343e5a3e569e868e1465@mpi-sws.org","ooops","Beta Ziliani",true],["8029a873de552db9903b045726cb96c48cac0da8","a295e0bdde1938d1fbfd343e5a3e569e868e1465@mpi-sws.org","fixed typos in MoreCoq, thanks to Dave","Beta Ziliani",true],["e2d50a878d19e9ab2a343cba4a2f6488ab47c26a","a295e0bdde1938d1fbfd343e5a3e569e868e1465@mpi-sws.org","inversion","Beta Ziliani",true]],"size":5,"ref":"refs/heads/ssr","head":"e2d50a878d19e9ab2a343cba4a2f6488ab47c26a"}