index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
demo
/
more
/
grid.ur
Commit message (
Expand
)
Author
Age
*
Allow any FFI module to declare new HTML tags
Adam Chlipala
2012-11-28
*
Update demo code for key/mouse handler change
Adam Chlipala
2012-07-21
*
Rename [Top.id] to avoid clash with [Basis.id]
Adam Chlipala
2011-12-29
*
Redo HTML context classification, to keep regular <body> tags out of <table> ...
Adam Chlipala
2011-12-20
*
Small tweaks to update demos for record unification change
Adam Chlipala
2010-12-15
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
Adapted existing demos to tuple pattern-matching
Adam Chlipala
2009-10-20
*
Progress on sorting + filtering
Adam Chlipala
2009-09-19
*
Paging mostly working; just need to get it working properly with filtering
Adam Chlipala
2009-09-19
*
Testing Dlist MaxLength with constant value
Adam Chlipala
2009-09-19
*
Testing Dlist StartPosition with constant offset
Adam Chlipala
2009-09-19
*
Grid sorting working
Adam Chlipala
2009-09-19
*
Hopefully fixed Jscomp bug that was breaking Grid
Adam Chlipala
2009-09-19
*
Pseudo-sort working with filters
Adam Chlipala
2009-09-17
*
Basic tail recursion introduction seems to be working
Adam Chlipala
2009-09-17
*
Bad sort functions tested
Adam Chlipala
2009-09-17
*
Insert dummy Sort parameter
Adam Chlipala
2009-09-17
*
Make filter argument to render, not create
Adam Chlipala
2009-09-17
*
Filters implementation type-checking
Adam Chlipala
2009-09-15
*
Fix JavaScript char literals; don't generate demo links to nonexistent files
Adam Chlipala
2009-09-15
*
Fixed a Mono_reduce bug, which was breaking selection enabling in Grid
Adam Chlipala
2009-09-15
*
Selection working, but switching it on isn't
Adam Chlipala
2009-09-15
*
Summary row with aggregates
Adam Chlipala
2009-09-15
*
Include 'key' type in Grid
Adam Chlipala
2009-09-15
*
Dropped in initial aggregate types
Adam Chlipala
2009-09-15
*
Start 'more' demo with dbgrid
Adam Chlipala
2009-09-08