GitHub PushEvent at 2014-04-16 21:30:32
Repository: Learning-Multiplicity-Automata
Actor: ericpony
Payload: {"shas":[["d527f9824ba63483f7165ac65f681b01a5d9bec4","19dae6b097578012814c94118aab7c12420823a4@csie.org","add flag of interactive mode","ericpony",true]],"size":1,"ref":"refs/heads/profiling","head":"d527f9824ba63483f7165ac65f681b01a5d9bec4"}