GitHub PushEvent at 2014-06-30 12:18:16
Repository: k
Actor: traiansf
Payload: {"shas":[["543160daae986ffb86f0417ffe8090ad6f2a0c1d","00928019b92765ccb30cad5c63086832238236bf@gmail.com","Update unification to apply mgu to lists, too","Traian Florin Serbanuta",false],["f0ea76cc430525f04fb5d91175750bed9677992e","00928019b92765ccb30cad5c63086832238236bf@gmail.com","Made substituteList a function and added test for it.","Traian Florin Serbanuta",false],["a55e4feec2324f4124e76822e6d6b239c02ba084","00928019b92765ccb30cad5c63086832238236bf@gmail.com","Added Set substitution, too.","Traian Florin Serbanuta",false],["ff81ff7b1b54ffe25bf9c9dfc33ba611fd01c049","00928019b92765ccb30cad5c63086832238236bf@gmail.com","Modified test to test Set substitute","Traian Florin Serbanuta",false],["bb083d33a7d47f6437e442a4914c9025bc2a68d3","00928019b92765ccb30cad5c63086832238236bf@gmail.com","Oups","Traian Florin Serbanuta",false],["9fd62ebe733f2aeff14378d9045e0bb1884508aa","00928019b92765ccb30cad5c63086832238236bf@gmail.com","Merge pull request #690 from kframework/list-substitution\n\nFixing an issue discovered in pull request #686","Traian Florin Șerbănuță",true]],"size":6,"ref":"refs/heads/unified-builtins2","head":"9fd62ebe733f2aeff14378d9045e0bb1884508aa"}