graph
- Fix handling of clearCookie/getCookie in same page gen2009-11-27, by Adam Chlipala
- Port rest of demo to new cookie signature; fix parsing of multiple incoming cookies2009-11-26, by Adam Chlipala
- More fun with cookies2009-11-26, by Adam Chlipala
- Fix parsing of long FastCGI lengths2009-11-26, by Adam Chlipala
- Hint about disallowed attributes2009-11-25, by Adam Chlipala
- Add 'id' attributes and <label>2009-11-25, by Adam Chlipala
- Better error message for link-handler conflicts2009-11-25, by Adam Chlipala
- Refactor compile functions; allow empty tag contents2009-11-25, by Adam Chlipala
- Exit code of 1 on compilation failure2009-11-25, by Adam Chlipala
- New release2009-11-24, by Adam Chlipala
- Explicitly abort in-flight RPCs onunload2009-11-24, by Adam Chlipala
- Proper initial values of dynamic checkboxes in IE2009-11-22, by Adam Chlipala
- Get dynamic <select> working in IE2009-11-22, by Adam Chlipala
- grid0 working in IE2009-11-22, by Adam Chlipala
- Get message-passing working in IE62009-11-21, by Adam Chlipala
- Send RPCs with POST, to avoid caching2009-11-21, by Adam Chlipala
- Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags)2009-11-21, by Adam Chlipala
- Fix for lack of 'apply' method of IE6 native functions2009-11-21, by Adam Chlipala
- Hooks for measuring how much interesting proving is going on in elaboration2009-11-17, by Adam Chlipala
- New release2009-11-08, by Adam Chlipala
- Saving paper decisions2009-11-07, by Adam Chlipala
- Decision status placeholder2009-11-02, by Adam Chlipala
- Start of Decision2009-11-02, by Adam Chlipala
- Seeing others' reviews2009-11-02, by Adam Chlipala
- Preload current assignment status2009-11-02, by Adam Chlipala
- Saving paper assignments2009-11-02, by Adam Chlipala
- Switch Monoize back to POST forms2009-11-02, by Adam Chlipala
- Initial form for paper assignment2009-11-01, by Adam Chlipala
- Optimizing str1 in MonoOpt2009-11-01, by Adam Chlipala
- Bidding interface2009-11-01, by Adam Chlipala
- Start of bidding implementation compiles2009-10-31, by Adam Chlipala
- Use call/cc for recv and sleep2009-10-25, by Adam Chlipala
- RPC uses VM support for call/cc2009-10-25, by Adam Chlipala
- Always inline records2009-10-25, by Adam Chlipala
- Extend Fuse to work on non-recursive functions2009-10-25, by Adam Chlipala
- Inlining threshold for Mono_reduce2009-10-25, by Adam Chlipala
- Inlining threshold for Reduce2009-10-25, by Adam Chlipala
- Factor Dnat into separate module2009-10-25, by Adam Chlipala
- Chars working with SQLite2009-10-22, by Adam Chlipala
- Get char working with MySQL2009-10-22, by Adam Chlipala
- Setting and updating your own review2009-10-22, by Adam Chlipala
- Initial support for char in SQL2009-10-22, by Adam Chlipala
- authorship table2009-10-22, by Adam Chlipala
- Viewing papers2009-10-22, by Adam Chlipala
- Move stuff from bulkEdit to meta2009-10-22, by Adam Chlipala
- Title and abstract2009-10-22, by Adam Chlipala
- Checking deadline; sign-in2009-10-22, by Adam Chlipala
- Saving changes to user list2009-10-20, by Adam Chlipala
- Start of user management2009-10-20, by Adam Chlipala
- Registering for Conference12009-10-20, by Adam Chlipala
- Adapted existing demos to tuple pattern-matching2009-10-20, by Adam Chlipala
- Add tuple pattern-matching at the constructor level2009-10-20, by Adam Chlipala
- Better subSgn error locations2009-10-15, by Adam Chlipala
- New release2009-10-12, by Adam Chlipala
- Fix some MySQL hijinks2009-10-12, by Adam Chlipala
- Put right date stamp in CHANGELOG2009-10-09, by Adam Chlipala
- New release2009-10-09, by Adam Chlipala
- Versioned1 demo working2009-10-06, by Adam Chlipala
- Initial versioned1 demo working2009-10-06, by Adam Chlipala
- SELECT DISTINCT; eta expansion during Cjrization2009-10-06, by Adam Chlipala