Branches - origin: https://github.com/RichardMoot/GrailLight

visit type:

Name	Target	Message	Date
HEAD	67fbacd	Update Supertag.tcl	27 April 2021, 15:02:38 UTC
refs/heads/bind-lambda	6f0eae2	Minor corrections	26 November 2015, 16:19:07 UTC
refs/heads/master	67fbacd	Update Supertag.tcl	27 April 2021, 15:02:38 UTC
refs/tags/v1.0.0	4aebb3a	Corrected computation of prosodics Added prod_i3 case to transform_proof Updated check_proofs to output percentages (rather than ratios)	14 May 2015, 18:46:24 UTC