summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Hint about disallowed attributesGravatar Adam Chlipala2009-11-25
|
* Add 'id' attributes and <label>Gravatar Adam Chlipala2009-11-25
|
* Better error message for link-handler conflictsGravatar Adam Chlipala2009-11-25
|
* Refactor compile functions; allow empty tag contentsGravatar Adam Chlipala2009-11-25
|
* Exit code of 1 on compilation failureGravatar Adam Chlipala2009-11-25
|
* New releaseGravatar Adam Chlipala2009-11-24
|
* Explicitly abort in-flight RPCs onunloadGravatar Adam Chlipala2009-11-24
|
* Proper initial values of dynamic checkboxes in IEGravatar Adam Chlipala2009-11-22
|
* Get dynamic <select> working in IEGravatar Adam Chlipala2009-11-22
|
* grid0 working in IEGravatar Adam Chlipala2009-11-22
|
* Get message-passing working in IE6Gravatar Adam Chlipala2009-11-21
|
* Send RPCs with POST, to avoid cachingGravatar Adam Chlipala2009-11-21
|
* Deal with bizarre IE6 .innerHTML behavior (which eats some <script> tags)Gravatar Adam Chlipala2009-11-21
|
* Fix for lack of 'apply' method of IE6 native functionsGravatar Adam Chlipala2009-11-21
|
* Hooks for measuring how much interesting proving is going on in elaborationGravatar Adam Chlipala2009-11-17
|
* New releaseGravatar Adam Chlipala2009-11-08
|
* Saving paper decisionsGravatar Adam Chlipala2009-11-07
|
* Decision status placeholderGravatar Adam Chlipala2009-11-02
|
* Start of DecisionGravatar Adam Chlipala2009-11-02
|
* Seeing others' reviewsGravatar Adam Chlipala2009-11-02
|
* Preload current assignment statusGravatar Adam Chlipala2009-11-02
|
* Saving paper assignmentsGravatar Adam Chlipala2009-11-02
|
* Switch Monoize back to POST formsGravatar Adam Chlipala2009-11-02
|
* Initial form for paper assignmentGravatar Adam Chlipala2009-11-01
|
* Optimizing str1 in MonoOptGravatar Adam Chlipala2009-11-01
|
* Bidding interfaceGravatar Adam Chlipala2009-11-01
|
* Start of bidding implementation compilesGravatar Adam Chlipala2009-10-31
|
* Use call/cc for recv and sleepGravatar Adam Chlipala2009-10-25
|
* RPC uses VM support for call/ccGravatar Adam Chlipala2009-10-25
|
* Always inline recordsGravatar Adam Chlipala2009-10-25
|
* Extend Fuse to work on non-recursive functionsGravatar Adam Chlipala2009-10-25
|
* Inlining threshold for Mono_reduceGravatar Adam Chlipala2009-10-25
|
* Inlining threshold for ReduceGravatar Adam Chlipala2009-10-25
|
* Factor Dnat into separate moduleGravatar Adam Chlipala2009-10-25
|
* Chars working with SQLiteGravatar Adam Chlipala2009-10-22
|
* Get char working with MySQLGravatar Adam Chlipala2009-10-22
|
* Setting and updating your own reviewGravatar Adam Chlipala2009-10-22
|
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
|
* authorship tableGravatar Adam Chlipala2009-10-22
|
* Viewing papersGravatar Adam Chlipala2009-10-22
|
* Move stuff from bulkEdit to metaGravatar Adam Chlipala2009-10-22
|
* Title and abstractGravatar Adam Chlipala2009-10-22
|
* Checking deadline; sign-inGravatar Adam Chlipala2009-10-22
|
* Saving changes to user listGravatar Adam Chlipala2009-10-20
|
* Start of user managementGravatar Adam Chlipala2009-10-20
|
* Registering for Conference1Gravatar Adam Chlipala2009-10-20
|
* Adapted existing demos to tuple pattern-matchingGravatar Adam Chlipala2009-10-20
|
* Add tuple pattern-matching at the constructor levelGravatar Adam Chlipala2009-10-20
|
* Better subSgn error locationsGravatar Adam Chlipala2009-10-15
|
* New releaseGravatar Adam Chlipala2009-10-12
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 23:45:55 +0000