GitHub PushEvent at 2014-02-07 09:31:05
Repository: lean-osx
Actor: soonhokong
Payload: {"shas":[["363c4dc5c2ad0866a365e5a81a6891c3211c5b5d","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(library/elaborator): improve support for dependent pairs in the elaborator\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["593f1f2ebd2835cd411db2837ad4dda60809855b","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","fix(frontends/lean): allow user set constants defined in other namespaces as opaque\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["ff955f9830b70bcb6d155d94cb1614dfcfc9799d","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","chore(frontends/lean/parser): update comments\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["0dedbc3de3ab036df9b41871686c433538682e47","1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","chore(frontends/lean/parser): update comments","Travis CI",true]],"size":4,"ref":"refs/heads/master","head":"0dedbc3de3ab036df9b41871686c433538682e47"}