log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log demo/more/grid.ur
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-16
tip
age
author
description
2010-12-15
Adam Chlipala
Small tweaks to update demos for record unification change
2010-10-10
Adam Chlipala
Tweaking unification fix to apply to demo/more
2010-02-28
Adam Chlipala
Changing foldRX to mapX
2009-12-26
Adam Chlipala
Make summary unification more conservative; infer implicit arguments after applications
2009-10-20
Adam Chlipala
Adapted existing demos to tuple pattern-matching
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-19
Adam Chlipala
Grid sorting working
2009-09-19
Adam Chlipala
Hopefully fixed Jscomp bug that was breaking Grid
2009-09-17
Adam Chlipala
Pseudo-sort working with filters
2009-09-17
Adam Chlipala
Basic tail recursion introduction seems to be working
2009-09-17
Adam Chlipala
Bad sort functions tested
2009-09-17
Adam Chlipala
Insert dummy Sort parameter
2009-09-17
Adam Chlipala
Make filter argument to render, not create
less
more
|
(0)
-16
tip