{"push_id":732456764,"size":1,"distinct_size":1,"ref":"refs/heads/isabelle2015","head":"ec3b3ca53f6d43fdbc89e3d6234e7ff97c231264","before":"0fc1545cdac17f1346d130592ae13f799c963f5c","commits":[{"sha":"ec3b3ca53f6d43fdbc89e3d6234e7ff97c231264","author":{"email":"f16671674d76259e5916e074e5ad08841c374b94@york.ac.uk","name":"Simon Foster"},"message":"Started adaptation of the shallow expression for VDM-SL","distinct":true,"url":"https://api.github.com/repos/isabelle-utp/utp-main/commits/ec3b3ca53f6d43fdbc89e3d6234e7ff97c231264"}]}