log demo/more/grid.urs

age author description
2012-11-28 Adam Chlipala Allow any FFI module to declare new HTML tags
2009-10-20 Adam Chlipala Adapted existing demos to tuple pattern-matching
2009-09-19 Adam Chlipala Paging mostly working; just need to get it working properly with filtering
2009-09-19 Adam Chlipala Grid sorting working
2009-09-15 Adam Chlipala Filters implementation type-checking
2009-09-15 Adam Chlipala Fix JavaScript char literals; don't generate demo links to nonexistent files
2009-09-15 Adam Chlipala Selection working, but switching it on isn't
2009-09-15 Adam Chlipala Summary row with aggregates
2009-09-15 Adam Chlipala Include 'key' type in Grid
2009-09-15 Adam Chlipala Dropped in initial aggregate types
2009-09-08 Adam Chlipala Start 'more' demo with dbgrid