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
*
Redo HTML context classification, to keep regular <body> tags out of <table> ...
Adam Chlipala
2011-12-20
*
In demo prose, note URL for hello demo
Adam Chlipala
2011-07-16
*
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
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
*
Demo improvements
Adam Chlipala
2010-09-30
*
Consider view declarations while shaking
Adam Chlipala
2010-05-27
*
Tone down Reduce and compensate with a new push-lambda-inside-case rule in Mo...
Adam Chlipala
2010-03-02
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
*
Allow .urp files without initial blank lines
Adam Chlipala
2010-02-06
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
Especialize uses a termination measure based on number of arguments introduced
Adam Chlipala
2009-12-15
*
Fix new Especialize security bug: do not duplicate free variables as speciali...
Adam Chlipala
2009-12-15
*
Port rest of demo to new cookie signature; fix parsing of multiple incoming c...
Adam Chlipala
2009-11-26
*
More fun with cookies
Adam Chlipala
2009-11-26
*
grid0 working in IE
Adam Chlipala
2009-11-22
*
Hooks for measuring how much interesting proving is going on in elaboration
Adam Chlipala
2009-11-17
*
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
[next]