summaryrefslogtreecommitdiff
path: root/demo
Commit message (Expand)AuthorAge
* 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
* Grid changed to use Dlist.replace; filters stopped workingGravatar 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 displaying properlyGravatar Adam Chlipala2009-09-15
* 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
* Full Grid1 compiles, thanks to avoiding code size blow-up in mono_reduceGravatar Adam Chlipala2009-09-13
* Have nullable columns working with DbgridGravatar Adam Chlipala2009-09-13
* Nullable columns *might* be working, but too much JS is generated for the pag...Gravatar Adam Chlipala2009-09-12
* Add grid CSS ACLGravatar Adam Chlipala2009-09-10
* Add grid CSSGravatar Adam Chlipala2009-09-10
* 'more' demos working after optimizer fixGravatar Adam Chlipala2009-09-08
* Use cdata for shorter Monad mapGravatar Adam Chlipala2009-09-08
* dragList demo working, save for Gecko load delay and highlightingGravatar Adam Chlipala2009-09-08
* dragList almost kinda worksGravatar Adam Chlipala2009-09-08
* Start 'more' demo with dbgridGravatar Adam Chlipala2009-09-08
* Convert to requiring explicit 'rpc' markerGravatar Adam Chlipala2009-08-22
* New command-line options; describe simple SQLite build in demo introGravatar Adam Chlipala2009-07-18
* .msgs processing in FastCGIGravatar Adam Chlipala2009-06-27
* Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo...Gravatar Adam Chlipala2009-06-02
* Demo compiles with pattern-matching-fuGravatar Adam Chlipala2009-05-28
* Make Effectize more preciseGravatar Adam Chlipala2009-05-05
* crud3 demoGravatar Adam Chlipala2009-05-03
* subforms demoGravatar Adam Chlipala2009-05-03
* cookieSec demoGravatar Adam Chlipala2009-05-03
* view demoGravatar Adam Chlipala2009-05-03
* outer demoGravatar Adam Chlipala2009-05-03
* upload demoGravatar Adam Chlipala2009-05-03
* css demoGravatar Adam Chlipala2009-05-03
* url demoGravatar Adam Chlipala2009-05-03
* constraints demoGravatar Adam Chlipala2009-05-03
* SubformsGravatar Adam Chlipala2009-04-28
* Cookie signing working for formsGravatar Adam Chlipala2009-04-16
* Add more buttons to demo, to avoid effectful GETGravatar Adam Chlipala2009-04-16
* Effectness analysisGravatar Adam Chlipala2009-04-16
* Simplify type class requirement for tree demoGravatar Adam Chlipala2009-04-13
* Stop tracking CSS classes in XML typesGravatar Adam Chlipala2009-04-12
* hello compiles with CSSGravatar Adam Chlipala2009-04-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-14 02:33:04 +0000