log demo/more/grid1.ur

age author description
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-09-19 Adam Chlipala Paging mostly working; just need to get it working properly with filtering
2009-09-15 Adam Chlipala Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
2009-09-15 Adam Chlipala Selection working, but switching it on isn't