index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
*
Better error message for link-handler conflicts
Adam Chlipala
2009-11-25
|
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
|
*
Exit code of 1 on compilation failure
Adam Chlipala
2009-11-25
|
*
New release
Adam Chlipala
2009-11-24
|
*
Explicitly abort in-flight RPCs onunload
Adam Chlipala
2009-11-24
|
*
Proper initial values of dynamic checkboxes in IE
Adam Chlipala
2009-11-22
|
*
Get dynamic <select> working in IE
Adam Chlipala
2009-11-22
|
*
grid0 working in IE
Adam Chlipala
2009-11-22
|
*
Get message-passing working in IE6
Adam Chlipala
2009-11-21
|
*
Send RPCs with POST, to avoid caching
Adam Chlipala
2009-11-21
|
*
Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags)
Adam Chlipala
2009-11-21
|
*
Fix for lack of 'apply' method of IE6 native functions
Adam Chlipala
2009-11-21
|
*
Hooks for measuring how much interesting proving is going on in elaboration
Adam Chlipala
2009-11-17
|
*
New release
Adam Chlipala
2009-11-08
|
*
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
|
*
Switch Monoize back to POST forms
Adam Chlipala
2009-11-02
|
*
Initial form for paper assignment
Adam Chlipala
2009-11-01
|
*
Optimizing str1 in MonoOpt
Adam Chlipala
2009-11-01
|
*
Bidding interface
Adam Chlipala
2009-11-01
|
*
Start of bidding implementation compiles
Adam Chlipala
2009-10-31
|
*
Use call/cc for recv and sleep
Adam Chlipala
2009-10-25
|
*
RPC uses VM support for call/cc
Adam Chlipala
2009-10-25
|
*
Always inline records
Adam Chlipala
2009-10-25
|
*
Extend Fuse to work on non-recursive functions
Adam Chlipala
2009-10-25
|
*
Inlining threshold for Mono_reduce
Adam Chlipala
2009-10-25
|
*
Inlining threshold for Reduce
Adam Chlipala
2009-10-25
|
*
Factor Dnat into separate module
Adam Chlipala
2009-10-25
|
*
Chars working with SQLite
Adam Chlipala
2009-10-22
|
*
Get char working with MySQL
Adam Chlipala
2009-10-22
|
*
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
|
*
Better subSgn error locations
Adam Chlipala
2009-10-15
|
*
New release
Adam Chlipala
2009-10-12
|
*
Fix some MySQL hijinks
Adam Chlipala
2009-10-12
|
*
Put right date stamp in CHANGELOG
Adam Chlipala
2009-10-09
|
[next]