GitHub PushEvent at 2014-07-03 21:35:53
Repository: aern
Actor: michalkonecny
Payload: {"shas":[["c48ddeeee584ec048ab3e3e264aacdb15638c35a","3da8cb324fdf3e95b07dcb70be9bafcaa7fe363c@gmail.com","Fix the function pointwise test of addition.  Still occasionally\nfailing.  Improved error reporting.  Changed the default \"show with\ninternals\" to include the polynomial size limits in the description.","Michal Konečný",true]],"size":1,"ref":"refs/heads/master","head":"c48ddeeee584ec048ab3e3e264aacdb15638c35a"}