5 Commits

Author	SHA1	Message	Date
Max Rabkin	d330dcae24	added prop_select_two_consec to test_Selective.hs	2009-10-01 15:58:53 +00:00
Max Rabkin	2b31698e15	Move limitSelect into L.LimitWindows	2009-10-14 20:22:13 +00:00
Max Rabkin	cd43a200bf	Test that update preserves invariants of Selection	2009-09-29 16:31:39 +00:00
Max Rabkin	f0e835ebe2	move updateSel from test_Selective into Selective	2009-09-29 16:04:20 +00:00
Max Rabkin	831168d701	Add "Selective" layout modifier	2009-09-29 16:02:07 +00:00