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
/
more
Commit message (
Expand
)
Author
Age
*
Merge in upstream
Patrick Hurst
2014-02-14
*
Allow any FFI module to declare new HTML tags
Adam Chlipala
2012-11-28
*
Update demo code for key/mouse handler change
Adam Chlipala
2012-07-21
*
Lighter-weight encoding of window function use
Adam Chlipala
2012-06-03
*
Track whether SQL expressions may use window functions, in preparation for ac...
Adam Chlipala
2012-06-02
*
Fix fetching of keycodes for key events
Adam Chlipala
2012-01-15
*
Make wildification a bit smarter about ordering of new wildcard declarations
Adam Chlipala
2012-01-07
*
Rename [Top.id] to avoid clash with [Basis.id]
Adam Chlipala
2011-12-29
*
Finish updating Grid1 demo to work with type inference change
Adam Chlipala
2011-12-29
*
Redo HTML context classification, to keep regular <body> tags out of <table> ...
Adam Chlipala
2011-12-20
*
Update demo/more for simplified implicit arguments
Adam Chlipala
2011-07-06
*
Fix manual mistake about '@' notations; remove obsolete demos
Adam Chlipala
2010-12-20
*
Small tweaks to update demos for record unification change
Adam Chlipala
2010-12-15
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
grid0 working in IE
Adam Chlipala
2009-11-22
*
Saving paper decisions
Adam Chlipala
2009-11-07
*
Decision status placeholder
Adam Chlipala
2009-11-02
*
Start of Decision
Adam Chlipala
2009-11-02
*
Seeing others' reviews
Adam Chlipala
2009-11-02
*
Preload current assignment status
Adam Chlipala
2009-11-02
*
Saving paper assignments
Adam Chlipala
2009-11-02
*
Initial form for paper assignment
Adam Chlipala
2009-11-01
*
Bidding interface
Adam Chlipala
2009-11-01
*
Start of bidding implementation compiles
Adam Chlipala
2009-10-31
*
Extend Fuse to work on non-recursive functions
Adam Chlipala
2009-10-25
*
Factor Dnat into separate module
Adam Chlipala
2009-10-25
*
Setting and updating your own review
Adam Chlipala
2009-10-22
*
Initial support for char in SQL
Adam Chlipala
2009-10-22
*
authorship table
Adam Chlipala
2009-10-22
*
Viewing papers
Adam Chlipala
2009-10-22
*
Move stuff from bulkEdit to meta
Adam Chlipala
2009-10-22
*
Title and abstract
Adam Chlipala
2009-10-22
*
Checking deadline; sign-in
Adam Chlipala
2009-10-22
*
Saving changes to user list
Adam Chlipala
2009-10-20
*
Start of user management
Adam Chlipala
2009-10-20
*
Registering for Conference1
Adam Chlipala
2009-10-20
*
Adapted existing demos to tuple pattern-matching
Adam Chlipala
2009-10-20
*
Add tuple pattern-matching at the constructor level
Adam Chlipala
2009-10-20
*
Versioned1 demo working
Adam Chlipala
2009-10-06
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
*
Finalized Orm1 demo
Adam Chlipala
2009-10-06
*
Initial Orm1 demo
Adam Chlipala
2009-10-06
*
Fix a de Bruijn index bug in map fusion
Adam Chlipala
2009-10-06
*
Orm searching
Adam Chlipala
2009-10-05
*
Basic CRUD operations in Orm
Adam Chlipala
2009-10-05
*
Better location calculation for record unification error messages; infer kind...
Adam Chlipala
2009-10-05
*
Paging + filtering seemingly working, but runtime system isn't GCing signals ...
Adam Chlipala
2009-09-19
*
Progress on sorting + filtering
Adam Chlipala
2009-09-19
[next]