GitHub PushEvent at 2014-07-21 16:25:42
Repository: cl-tptp-parser
Actor: lisphacker
Payload: {"shas":[["e686705546ea5bde7a3eaab5e483fd31faa7d2d7","cd02d6d91a6ea36131a3e48a9875b7b9a9f5c1f3@lisphacker.org","Added quantified formula. Added $keyword support in lexer","lisphacker",true]],"size":1,"ref":"refs/heads/master","head":"e686705546ea5bde7a3eaab5e483fd31faa7d2d7"}