summaryrefslogtreecommitdiff
path: root/demo
Commit message (Expand)AuthorAge
* Demo instructions: -noEmacsGravatar Adam Chlipala2017-08-11
* Proofread and tweak new demo proseGravatar Adam Chlipala2016-12-31
* notes a place to see where a database table is definedGravatar TheNotary2016-10-21
* reflows intro tutorialGravatar TheNotary2016-10-21
* Simplify listEdit demo (thanks, Michael Rohs!)Gravatar Adam Chlipala2016-10-05
* 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 ac...Gravatar Adam Chlipala2012-06-02
* 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
* In demo prose, note URL for hello demoGravatar Adam Chlipala2011-07-16
* 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
* Hopeful fix for the Great Unification BugGravatar Adam Chlipala2010-10-10
* Flex kinds for type-level tuples; ::_ notationGravatar Adam Chlipala2010-10-10
* Demo improvementsGravatar Adam Chlipala2010-09-30
* Consider view declarations while shakingGravatar Adam Chlipala2010-05-27
* Tone down Reduce and compensate with a new push-lambda-inside-case rule in Mo...Gravatar Adam Chlipala2010-03-02
* Changing foldRX to mapXGravatar Adam Chlipala2010-02-28
* Allow .urp files without initial blank linesGravatar Adam Chlipala2010-02-06
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* Especialize uses a termination measure based on number of arguments introducedGravatar Adam Chlipala2009-12-15
* Fix new Especialize security bug: do not duplicate free variables as speciali...Gravatar Adam Chlipala2009-12-15
* Port rest of demo to new cookie signature; fix parsing of multiple incoming c...Gravatar Adam Chlipala2009-11-26
* More fun with cookiesGravatar Adam Chlipala2009-11-26
* grid0 working in IEGravatar Adam Chlipala2009-11-22
* Hooks for measuring how much interesting proving is going on in elaborationGravatar Adam Chlipala2009-11-17
* 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