log demo/more/dlist.ur

age author description
2009-09-19 Adam Chlipala Paging + filtering seemingly working, but runtime system isn't GCing signals properly, so performance goes south quickly
2009-09-19 Adam Chlipala Progress on sorting + filtering
2009-09-19 Adam Chlipala Paging mostly working; just need to get it working properly with filtering
2009-09-19 Adam Chlipala Testing Dlist MaxLength with constant value
2009-09-19 Adam Chlipala Testing Dlist StartPosition with constant offset
2009-09-17 Adam Chlipala Pseudo-sort working with filters
2009-09-17 Adam Chlipala Grid changed to use Dlist.replace; filters stopped working
2009-09-17 Adam Chlipala Basic tail recursion introduction seems to be working