aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/more/grid.ur
Commit message (Collapse)AuthorAge
* Allow any FFI module to declare new HTML tagsGravatar Adam Chlipala2012-11-28
|
* Update demo code for key/mouse handler changeGravatar Adam Chlipala2012-07-21
|
* Rename [Top.id] to avoid clash with [Basis.id]Gravatar Adam Chlipala2011-12-29
|
* Redo HTML context classification, to keep regular <body> tags out of <table> ↵Gravatar Adam Chlipala2011-12-20
| | | | and <tr>
* Small tweaks to update demos for record unification changeGravatar Adam Chlipala2010-12-15
|
* Tweaking unification fix to apply to demo/moreGravatar Adam Chlipala2010-10-10
|
* Changing foldRX to mapXGravatar Adam Chlipala2010-02-28
|
* Make summary unification more conservative; infer implicit arguments after ↵Gravatar Adam Chlipala2009-12-26
| | | | applications
* Adapted existing demos to tuple pattern-matchingGravatar Adam Chlipala2009-10-20
|
* Progress on sorting + filteringGravatar Adam Chlipala2009-09-19
|
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
|
* Testing Dlist MaxLength with constant valueGravatar Adam Chlipala2009-09-19
|
* Testing Dlist StartPosition with constant offsetGravatar Adam Chlipala2009-09-19
|
* Grid sorting workingGravatar Adam Chlipala2009-09-19
|
* Hopefully fixed Jscomp bug that was breaking GridGravatar Adam Chlipala2009-09-19
|
* Pseudo-sort working with filtersGravatar Adam Chlipala2009-09-17
|
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17
|
* Bad sort functions testedGravatar Adam Chlipala2009-09-17
|
* Insert dummy Sort parameterGravatar Adam Chlipala2009-09-17
|
* Make filter argument to render, not createGravatar Adam Chlipala2009-09-17
|
* Filters implementation type-checkingGravatar Adam Chlipala2009-09-15
|
* Fix JavaScript char literals; don't generate demo links to nonexistent filesGravatar Adam Chlipala2009-09-15
|
* Fixed a Mono_reduce bug, which was breaking selection enabling in GridGravatar Adam Chlipala2009-09-15
|
* Selection working, but switching it on isn'tGravatar Adam Chlipala2009-09-15
|
* Summary row with aggregatesGravatar Adam Chlipala2009-09-15
|
* Include 'key' type in GridGravatar Adam Chlipala2009-09-15
|
* Dropped in initial aggregate typesGravatar Adam Chlipala2009-09-15
|
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 14:48:10 +0000