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 (
Expand
)
Author
Age
*
Weakening-type coercions for SQL values
Adam Chlipala
2009-12-13
*
Better record summary error messages; more tweaking SQL usability
Adam Chlipala
2009-12-13
*
Tweaking SQL parsing and typing
Adam Chlipala
2009-12-13
*
Fix lexing of string literals in XML; treat EError as impure in MonoReduce
Adam Chlipala
2009-12-12
*
Checked-ness of radio options; Option.get
Adam Chlipala
2009-12-12
*
Bug fixes in redirect-related stuff
Adam Chlipala
2009-12-10
*
Basis.currentUrl, plus redirect debugging
Adam Chlipala
2009-12-10
*
Basis.url and redirects
Adam Chlipala
2009-12-10
*
Make oneRowE1 more general
Adam Chlipala
2009-12-10
*
Convert ctype is*() function results to booleans
Adam Chlipala
2009-12-08
*
Shake bug fix; pattern reduction in ReduceLocal
Adam Chlipala
2009-12-08
*
Context globals; ctype functions
Adam Chlipala
2009-12-08
*
Fix a Shake bug that led to missing some cons
Adam Chlipala
2009-12-08
*
Move to simpler HTML escaping
Adam Chlipala
2009-12-08
*
Recursive hnormSgn for projections of signatures from modules
Adam Chlipala
2009-12-05
*
Represent FFI function names as strings, to deal with cross-file recursion
Adam Chlipala
2009-12-05
*
New release
Adam Chlipala
2009-12-03
*
Merge
Adam Chlipala
2009-12-03
|
\
*
|
UTF-8 in dynamic escaping
Adam Chlipala
2009-12-03
*
|
Escaping UTF-8 in MonoOpt
Adam Chlipala
2009-12-03
|
*
Fix handling of clearCookie/getCookie in same page gen
Adam Chlipala
2009-11-27
|
*
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
|
*
Fix parsing of long FastCGI lengths
Adam Chlipala
2009-11-26
|
/
*
Hint about disallowed attributes
Adam Chlipala
2009-11-25
*
Add 'id' attributes and <label>
Adam Chlipala
2009-11-25
*
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
[next]