| Commit message (Expand) | Author | Age |
... | |
* | Don't crash on invalid URL head terms during Tag | Adam Chlipala | 2011-12-03 |
* | New 't.*' notation for SELECT | Adam Chlipala | 2011-12-03 |
* | Nicer record summary error messages | Adam Chlipala | 2011-12-03 |
* | Change client-side debug to use console.debug | Adam Chlipala | 2011-12-03 |
* | Client-side strlenGe | Adam Chlipala | 2011-12-03 |
* | Better error messages about non-SQL-izability of types | Adam Chlipala | 2011-12-03 |
* | Allow sources to be returned by RPCs | Adam Chlipala | 2011-12-03 |
* | Catching integer divisions by zero | Adam Chlipala | 2011-12-03 |
* | Update Coq semantics for 8.3pl2 | Adam Chlipala | 2011-11-30 |
* | Support 'safeGet' in demos | Adam Chlipala | 2011-11-25 |
* | Fix server-side urlification of custom Option types | Adam Chlipala | 2011-11-25 |
* | Announce sidedness errors with source locations | Adam Chlipala | 2011-11-25 |
* | Tweak error message about Basis.get to use that name instead of internal name | Adam Chlipala | 2011-11-24 |
* | Client-side timef | Adam Chlipala | 2011-11-24 |
* | Add LIKE operator to SQL sublanguage. | Karn Kallio | 2011-11-23 |
* | Yet another fix to previous change | Adam Chlipala | 2011-11-20 |
* | Fix bug in previous change | Adam Chlipala | 2011-11-20 |
* | Don't treat comment-only lines as blank, in determining split point of .urp f... | Adam Chlipala | 2011-11-20 |
* | COALESCE | Adam Chlipala | 2011-11-19 |
* | Better error messages when client-side constructs are detected in Cjrize | Adam Chlipala | 2011-11-19 |
* | Fix catalog querying about empty tables | Adam Chlipala | 2011-11-18 |
* | Regenerate proper Autotools files; fix JS stringToTime and add stringToTime_e... | Adam Chlipala | 2011-11-18 |
* | Merge | Ron de Bruijn | 2011-11-17 |
|\ |
|
* | | Add read instance for time on the client | Ron de Bruijn | 2011-11-17 |
| * | Include character encoding in HTTP response headers. | Karn Kallio | 2011-11-16 |
|/ |
|
* | Better error messages about server-side use of client-side functions | Adam Chlipala | 2011-11-14 |
* | 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 |