GitHub PushEvent at 2014-05-16 14:39:11
Repository: sTeX
Actor: kohlhase
Payload: {"shas":[["46e63be92719849f8f108623c1bc0991f021a849","3b9fe122e5c8555e601142a6c98bf64ecc239381@jacobs-university.de","adding sproof to the LaTeXML sie","Michael Kohlhase",true]],"size":1,"ref":"refs/heads/master","head":"46e63be92719849f8f108623c1bc0991f021a849"}