summaryrefslogtreecommitdiff
path: root/demo/more
Commit message (Collapse)AuthorAge
* Merge in upstreamGravatar Patrick Hurst2014-02-14
|
* 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
|
* Lighter-weight encoding of window function useGravatar Adam Chlipala2012-06-03
|
* Track whether SQL expressions may use window functions, in preparation for ↵Gravatar Adam Chlipala2012-06-02
| | | | actual window function support
* Fix fetching of keycodes for key eventsGravatar Adam Chlipala2012-01-15
|
* Make wildification a bit smarter about ordering of new wildcard declarationsGravatar Adam Chlipala2012-01-07
|
* Rename [Top.id] to avoid clash with [Basis.id]Gravatar Adam Chlipala2011-12-29
|
* Finish updating Grid1 demo to work with type inference changeGravatar Adam Chlipala2011-12-29
|
* Redo HTML context classification, to keep regular <body> tags out of <table> ↵Gravatar Adam Chlipala2011-12-20
| | | | and <tr>
* Update demo/more for simplified implicit argumentsGravatar Adam Chlipala2011-07-06
|
* Fix manual mistake about '@' notations; remove obsolete demosGravatar Adam Chlipala2010-12-20
|
* 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
* grid0 working in IEGravatar Adam Chlipala2009-11-22
|
* Saving paper decisionsGravatar Adam Chlipala2009-11-07
|
* Decision status placeholderGravatar Adam Chlipala2009-11-02
|
* Start of DecisionGravatar Adam Chlipala2009-11-02
|
* Seeing others' reviewsGravatar Adam Chlipala2009-11-02
|
* Preload current assignment statusGravatar Adam Chlipala2009-11-02
|
* Saving paper assignmentsGravatar Adam Chlipala2009-11-02
|
* Initial form for paper assignmentGravatar Adam Chlipala2009-11-01
|
* Bidding interfaceGravatar Adam Chlipala2009-11-01
|
* Start of bidding implementation compilesGravatar Adam Chlipala2009-10-31
|
* Extend Fuse to work on non-recursive functionsGravatar Adam Chlipala2009-10-25
|
* Factor Dnat into separate moduleGravatar Adam Chlipala2009-10-25
|
* Setting and updating your own reviewGravatar Adam Chlipala2009-10-22
|
* 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
|