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 (
Collapse
)
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
|
|
|
|
and <tr>
*
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 ↵
Adam Chlipala
2009-12-26
|
|
|
|
applications
*
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