#
# ChangeLog for sizechecking_branches
#
# Generated by Trac 1.0.1
# Oct 27, 2025, 7:35:00 PM

Fri, 16 Nov 2012 16:26:26 GMT gobi [15]
	* sizechecking/Constraints.hs (modified)
	* sizechecking/Lambda.hs (modified)
	* sizechecking_branches/L.hs (modified)
	* sizechecking_branches/LL.hs (modified)
	* sizechecking_branches/SE.hs (added)
	* sizechecking_branches/SVB.hs (added)

	new solver


Wed, 14 Nov 2012 20:45:28 GMT gobi [10]
	* sizechecking/Examples.hs (modified)
	* sizechecking_branches (added)
	* sizechecking_branches/L.hs (moved)
	* sizechecking_branches/LL.hs (added)

	adding a new implementation of Lambda