| Commit message (Expand) | Author | Age |
|---|
| * | Support the full set of XHTML character entities |  Adam Chlipala | 2011-11-05 |
| * | Tweaks to choices of source positions to use in error messages, including for... | Adam Chlipala | 2011-11-05 |
| * | Adjust for different ml-lex behavior between SML/NJ and MLton | Adam Chlipala | 2011-11-05 |
| * | Strengthen consNeq, to avoid unwise unifications | Adam Chlipala | 2011-11-05 |
| * | Fix confusing error message when record unification fails because enclosed ty... | Adam Chlipala | 2011-11-05 |
| * | Remove debug print | Adam Chlipala | 2011-11-02 |
| * | Handle application in decompileCon | Adam Chlipala | 2011-11-02 |
| * | Shorter, more focused error messages about undetermined unification variables | Adam Chlipala | 2011-10-29 |
| * | Clear reducedSummaries | Adam Chlipala | 2011-10-28 |
| * | Harmonize have/need terminology in error messages; display canceled record su... | Adam Chlipala | 2011-10-27 |
| * | Turn off warnings about deprecated functions, to placate silly OpenSSL change... | Adam Chlipala | 2011-10-26 |
| * | Catch UnboundNamed exceptions that arise from missing signature items | Adam Chlipala | 2011-10-21 |
| * | Fix parsing conflict | Adam Chlipala | 2011-10-15 |
| * | Change error message display order: only show disjointness/type class failure... | Adam Chlipala | 2011-10-15 |
| * | Improved unification of record literals in type class resolution | Adam Chlipala | 2011-10-15 |
| * | Extend and document 'con' syntax with arguments | Adam Chlipala | 2011-10-15 |
| * | For new IF, fix Monoize typing and add to manual | Adam Chlipala | 2011-10-15 |
| * | IF THEN ELSE conditional for SQL. |  Karn Kallio | 2011-10-14 |
| * | Primitive int/float functions: ceil, float, round, trunc | Adam Chlipala | 2011-10-08 |
| * | Fix wildification for signatures with synonyms | Adam Chlipala | 2011-10-08 |
| * | Basis.null | Adam Chlipala | 2011-10-06 |
| * | Tweaked Emacs mode to handle many "->" faster. |  Vladimir Shabanov | 2011-09-26 |
| * | Minor tweak to speed up Emacs mode. | Vladimir Shabanov | 2011-09-26 |
| * | Add an URWEB_PQ_CON environment variable, which overrides the PostgreSQL conn... |  Austin Seipp | 2011-09-23 |
| * | Resugar tag names before printing parse errors | Adam Chlipala | 2011-09-22 |
| * | New Basis functions: preventDefault and stopPropagation (code contributed by ... | Adam Chlipala | 2011-09-11 |
| * | Disable C optimization in debug mode | Adam Chlipala | 2011-09-11 |
| * | An abstract type of IDs | Adam Chlipala | 2011-09-03 |
| * | New client-side, document-level event handlers | Adam Chlipala | 2011-09-03 |
| * | Better detection of type class witnesses in local bindings | Adam Chlipala | 2011-09-03 |
| * | Gentle handling of back-button returns to pages with stale message-passing cr... | Adam Chlipala | 2011-08-28 |
| * | Warn about concurrency issues with message-passing | Adam Chlipala | 2011-08-28 |
| * | Postgres deadlock triggers unlimited retry | Adam Chlipala | 2011-08-28 |
| * | Fix another list unurlification segfault bug; List.foldlMi | Adam Chlipala | 2011-08-21 |
| * | Add prototypes for [un]urlification functions | Adam Chlipala | 2011-08-21 |
| * | Fix crash in list unurlification | Adam Chlipala | 2011-08-21 |
| * | Basis.mkMonad | Adam Chlipala | 2011-08-19 |
| * | Add antiquote for ORDER BY directions | Adam Chlipala | 2011-08-19 |
| * | Add timestamps to 'app.js' filenames, to prevent inappropriate caching by bro... | Adam Chlipala | 2011-08-19 |
| * | Fix bug in JavaScript embedding of lists | Adam Chlipala | 2011-08-15 |
| * | Compiler frees as much memory as possible before passing control to C compiler | Adam Chlipala | 2011-08-15 |
| * | Fix list urlification | Adam Chlipala | 2011-08-14 |
| * | Remove commented-out code | Adam Chlipala | 2011-08-14 |
| * | Handle case where shakeExp can remove datatype. | Karn Kallio | 2011-08-12 |
| * | Remove some unnecessary parens | Adam Chlipala | 2011-08-14 |
| * | Distribute applications of "arrow type" ECase across branches. | Karn Kallio | 2011-08-11 |
| * | '-dumpTypes' | Adam Chlipala | 2011-08-07 |
| * | Better wildification, avoiding some unintentional variable capture | Adam Chlipala | 2011-08-06 |
| * | Configure correct C compiler options for Pthreads | Adam Chlipala | 2011-08-04 |
| * | Fix opening of shadowing, principal-signatured modules that open other modules | Adam Chlipala | 2011-08-04 |
Adam Chlipala
Karn Kallio
Vladimir Shabanov
Austin Seipp