index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
demo
Commit message (
Expand
)
Author
Age
*
Increment demo
Adam Chlipala
2009-03-10
*
Prose for ListEdit
Adam Chlipala
2009-03-10
*
ListEdit demo, minus prose
Adam Chlipala
2009-03-10
*
React demo
Adam Chlipala
2009-03-10
*
Alert demo
Adam Chlipala
2009-03-10
*
Avoid any JavaScript when pages don't need it; update demo prose
Adam Chlipala
2009-03-10
*
Kind-polymorphic [fst] and friends
Adam Chlipala
2009-02-26
*
Folder generation for functors
Adam Chlipala
2009-02-24
*
Folder generation for functions
Adam Chlipala
2009-02-24
*
Demos compile again, with manual folders
Adam Chlipala
2009-02-24
*
Make folders abstract
Adam Chlipala
2009-02-24
*
demo/sum working with manual folders
Adam Chlipala
2009-02-22
*
Debug reverse-engineering unification
Adam Chlipala
2009-02-21
*
Start of RPCification
Adam Chlipala
2009-02-14
*
Fixing demo prose
Adam Chlipala
2008-11-20
*
Some demo improvements
Adam Chlipala
2008-11-20
*
Update Crud demo to use local functions
Adam Chlipala
2008-11-20
*
Extend prose about server .exes
Adam Chlipala
2008-11-18
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
*
Tree demo works
Adam Chlipala
2008-11-06
*
About to begin optimization of recursive transaction functions
Adam Chlipala
2008-11-06
*
Cookie prose; fix bugs that broke demo compilation
Adam Chlipala
2008-11-06
*
Cookie demo code; fix error message display
Adam Chlipala
2008-11-06
*
Nested demo
Adam Chlipala
2008-11-04
*
Remove need for '() <-' notation
Adam Chlipala
2008-10-27
*
Properly freeing libpq results on errors
Adam Chlipala
2008-10-24
*
Crud2 demo
Adam Chlipala
2008-10-23
*
Crud demo
Adam Chlipala
2008-10-23
*
Prose for Ref and Metaform
Adam Chlipala
2008-10-23
*
Fix bug with bringing functor argument instances into scope; Ref demo, minus ...
Adam Chlipala
2008-10-23
*
Metaform demos, minus prose
Adam Chlipala
2008-10-23
*
Fix nasty de Bruijn substitution bug; TcSum demo
Adam Chlipala
2008-10-23
*
Counter demo
Adam Chlipala
2008-10-23
*
Sum prose
Adam Chlipala
2008-10-21
*
Infering sum rows
Adam Chlipala
2008-10-21
*
Sum demo, minus inference of {Unit}s
Adam Chlipala
2008-10-21
*
Sql demo
Adam Chlipala
2008-10-21
*
Note about demo.sql
Adam Chlipala
2008-10-21
*
ListShop prose
Adam Chlipala
2008-10-21
*
Rec demo
Adam Chlipala
2008-10-21
*
Form example
Adam Chlipala
2008-10-21
*
Hello prose
Adam Chlipala
2008-10-21
*
Intro prose
Adam Chlipala
2008-10-21
*
New implicit argument handling
Adam Chlipala
2008-10-21
*
Fix a nasty driver bug, involving memory restarts and marked-up request strings
Adam Chlipala
2008-10-21
*
listFun uses length
Adam Chlipala
2008-10-21
*
Simple listShop working
Adam Chlipala
2008-10-21
*
ListShop skeleton
Adam Chlipala
2008-10-21
*
Fix a nasty indent bug, found while working on listFun
Adam Chlipala
2008-10-19
*
Demo HTML generation, minus source code
Adam Chlipala
2008-10-19
[next]