Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | | Add shell.nix | 2019-12-13 | ||
| | | | | | ||||
| | | * | | Added some LSP notifications support | 2019-12-13 | ||
| | | | | | ||||
| | | * | | First actually working version of LSP | 2019-12-13 | ||
| | | | | | ||||
| | | * | | Refactored LSP into few modules | 2019-12-13 | ||
| | | | | | ||||
| | | * | | Added initial version of lsp | 2019-12-13 | ||
| | | | | | ||||
| | | * | | Added openSSL dev files to nix | 2019-12-13 | ||
| | | | | | ||||
| | | * | | Added nix files | 2019-12-13 | ||
| | | | | | ||||
| | | * | | Merge remote-tracking branch 'origin/master' into typeOf | 2019-12-13 | ||
| | | |\ \ | |_|_|/ / |/| | | | | ||||
| | * | | | Improve error messages | 2019-12-12 | ||
| |/ / / |/| | | | ||||
| * | | | Unix sockets: use platform-agnostic include file | 2019-12-10 | ||
| | | | | ||||
| * | | | Add UNIX socket support and a new '-u' option to specify socket filename to bind | 2019-12-10 | ||
|/ / / | ||||
* | | | SQL SIMILAR (via pg_trgm) | 2019-12-04 | ||
| | | | ||||
* | | | Json: expose RFC 3339 functions | 2019-11-08 | ||
| | | | ||||
* | | | Merge pull request #182 from FrigoEU/181 | 2019-11-08 | ||
|\ \ \ | | | | | | | | | Fix for #181: unurlify x-www-form-urlencoded without custom serialization based on period | |||
| * | | | Fix for #181: unurlify x-www-form-urlencoded without custom serialization ↵ | 2019-11-04 | ||
|/ / / | | | | | | | | | | using period | |||
* | | | Undo a questionable optimization, almost 10 years later (closes #179) | 2019-10-13 | ||
| | | | ||||
* | | | JSON instance for times, based on RFC 3339 (because Google APIs use it) | 2019-10-11 | ||
| | | | ||||
* | | | JSON records with optional fields | 2019-10-11 | ||
| | | | ||||
* | | | Update urlification of unit values for RPC results, to track a previous ↵ | 2019-10-07 | ||
| | | | | | | | | | | | | change elsewhere | |||
* | | | Optimize JSON unescaping for server-side execution | 2019-10-05 | ||
| | | | ||||
* | | | JavaScript 'currentUrl' should return a string, not a URL, since the latter ↵ | 2019-10-04 | ||
| | | | | | | | | | | | | has a completeley different sort of 'replace' method | |||
* | | | Merge pull request #180 from mclements/master | 2019-10-04 | ||
|\ \ \ | | | | | | | | | Add Step attribute to crange; fix tests for cnumber and crange | |||
| * | | | Add Step attribute to crange; fix tests for cnumber and crange | 2019-10-04 | ||
|/ / / | ||||
* | | | Unicode escapes in JSON | 2019-09-25 | ||
| | | | ||||
* | | | Desugaring of SQL constraints uses wildcards, so allow that even in signatures | 2019-09-21 | ||
| | | | ||||
* | | | Laxer wildcard restriction for signatures | 2019-09-20 | ||
| | | | ||||
* | | | Signatures should be allowed to use wildcards for kinds associated with ↵ | 2019-09-18 | ||
| | | | | | | | | | | | | concrete constructors | |||
* | | | Disallow wildcards in signatures (should help with #174) | 2019-09-18 | ||
| | | | ||||
* | | | More detailed error message for bad path kind spec (closes #178) | 2019-09-14 | ||
| | | | ||||
* | | | Merge pull request #177 from DestyNova/use-utf8-instead-of-escapes | 2019-09-06 | ||
|\ \ \ | | | | | | | | | Try to use UTF-8 rather than numeric HTML escapes | |||
* | | | | urweb daemon restart | 2019-08-30 | ||
| | | | | ||||
* | | | | Smooth rough edges of daemon command-line behavior | 2019-08-30 | ||
| | | | | ||||
| * | | | PR suggestions (with thanks to @fabriceleal). | 2019-08-29 | ||
| | | | | ||||
| * | | | Minor cleanup -- handle the case where we couldn't successfully generate a ↵ | 2019-08-28 | ||
| | | | | | | | | | | | | | | | | UTF8 codepoint by outputting a HTML escape (the default behaviour before for all multi-byte characters). | |||
* | | | | Generic traversal for Elab should visit let-bound patterns | 2019-08-17 | ||
| | | | | ||||
| * | | | Try to avoid a pointer conversion error | 2019-08-11 | ||
| | | | | ||||
| * | | | Add missing include | 2019-08-11 | ||
| | | | | ||||
| * | | | * When htmlifying characters, don't use numeric escapes if they're | 2019-08-11 | ||
|/ / / | | | | | | | | | | | | | printable -- instead, try to convert them to UTF-8. * Add libicuio to linked C libraries | |||
* | | | Datetime.ord_month | 2019-08-10 | ||
| | | | ||||
* | | | Flush output on logging | 2019-08-04 | ||
| | | | ||||
| * | | Cleaned up elisp and added dependencies | 2019-08-03 | ||
| | | | ||||
| * | | Added emacs functions for getInfo | 2019-08-03 | ||
| | | | ||||
| * | | Added comments and extracted typeOf/getInfo into seperate module | 2019-08-03 | ||
| | | | ||||
| * | | Removed some unnecessary prints | 2019-08-03 | ||
| | | | ||||
| * | | Improved typeOf searching and handling of Top and Basis | 2019-08-01 | ||
| | | | ||||
| * | | Added file check to typeOf and always add Top and Basis to env in typeOf | 2019-08-01 | ||
| | | | ||||
| * | | first iteration of "typeOf" command | 2019-07-31 | ||
| | | | ||||
| * | | Removed MISSED_DEP print | 2019-07-29 | ||
| | | | ||||
| * | | Don't use interfaces anymore for ModDb validity, but check for undetermined ↵ | 2019-07-29 | ||
| | | | | | | | | | | | | unif vars | |||
* | | | Remove a misleading comment (#175) | 2019-07-26 | ||
| | | |