summaryrefslogtreecommitdiff
path: root/demo
Commit message (Collapse)AuthorAge
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
|
* authorship tableGravatar Adam Chlipala2009-10-22
|
* Viewing papersGravatar Adam Chlipala2009-10-22
|
* Move stuff from bulkEdit to metaGravatar Adam Chlipala2009-10-22
|
* Title and abstractGravatar Adam Chlipala2009-10-22
|
* Checking deadline; sign-inGravatar Adam Chlipala2009-10-22
|
* Saving changes to user listGravatar Adam Chlipala2009-10-20
|
* Start of user managementGravatar Adam Chlipala2009-10-20
|
* Registering for Conference1Gravatar Adam Chlipala2009-10-20
|
* Adapted existing demos to tuple pattern-matchingGravatar Adam Chlipala2009-10-20
|
* Add tuple pattern-matching at the constructor levelGravatar Adam Chlipala2009-10-20
|
* Versioned1 demo workingGravatar Adam Chlipala2009-10-06
|
* SELECT DISTINCT; eta expansion during CjrizationGravatar Adam Chlipala2009-10-06
|
* Finalized Orm1 demoGravatar Adam Chlipala2009-10-06
|
* Initial Orm1 demoGravatar Adam Chlipala2009-10-06
|
* Fix a de Bruijn index bug in map fusionGravatar Adam Chlipala2009-10-06
|
* Orm searchingGravatar Adam Chlipala2009-10-05
|
* Basic CRUD operations in OrmGravatar Adam Chlipala2009-10-05
|
* Better location calculation for record unification error messages; infer ↵Gravatar Adam Chlipala2009-10-05
| | | | kind arguments to module-projected variables
* Paging + filtering seemingly working, but runtime system isn't GCing signals ↵Gravatar Adam Chlipala2009-09-19
| | | | properly, so performance goes south quickly
* 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
|
* 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 ↵Gravatar Adam Chlipala2009-09-12
| | | | page to load in finite time
* 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
|