| Thu, 29 Dec 2011 14:12:03 -0500 |
Adam Chlipala |
Rename [Top.id] to avoid clash with [Basis.id] |
| Wed, 06 Jul 2011 09:22:08 -0400 |
Adam Chlipala |
Update demo/more for simplified implicit arguments |
| Sun, 10 Oct 2010 15:37:14 -0400 |
Adam Chlipala |
Tweaking unification fix to apply to demo/more |
| Sat, 26 Dec 2009 11:56:40 -0500 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
| Sat, 19 Sep 2009 14:21:25 -0400 |
Adam Chlipala |
Paging mostly working; just need to get it working properly with filtering |
| Sat, 19 Sep 2009 13:32:33 -0400 |
Adam Chlipala |
Grid sorting working |
| Tue, 15 Sep 2009 16:27:24 -0400 |
Adam Chlipala |
Filters displaying properly |
| Tue, 15 Sep 2009 15:48:53 -0400 |
Adam Chlipala |
Filters implementation type-checking |
