{"shas":[["3765bb39a7d24b898ea67b80e624cd2c70eee104","34c6fceca75e456f25e7e99531e2425c6c1de443@cbcsystems.co.uk","More work on transition system + pretty printing of transitions.","Chris Banks"]],"repo":"chrisbanks/cpiwb","actor":"chrisbanks","ref":"refs/heads/master","size":1,"head":"3765bb39a7d24b898ea67b80e624cd2c70eee104","actor_gravatar":"6f695717ba45d3945690d3e226b048cc","push_id":29291419}