From: Jason D. <da...@us...> - 2013-06-01 00:11:13
|
This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "compose-hpc". The branch, master has been updated via ca356189a2a5641ea2f6c279e283a38f09245b69 (commit) from 52c53517dc89e77cd505d4f5ee867f7e7339697c (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit ca356189a2a5641ea2f6c279e283a38f09245b69 Author: Jason Dagit <da...@ga...> Date: Fri May 31 17:11:04 2013 -0700 Use LabeledTrees for AntiUnification ----------------------------------------------------------------------- Summary of changes: rote/tree-utils/src/Data/Tree/AntiUnification.hs | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) hooks/post-receive -- compose-hpc |