summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
| | * | | JavaScript 'currentUrl' should return a string, not a URL, since the latter ↵Gravatar Adam Chlipala2019-10-04
| | | | | | | | | | | | | | | | | | | | has a completeley different sort of 'replace' method
| | * | | Merge pull request #180 from mclements/masterGravatar Adam Chlipala2019-10-04
| | |\ \ \ | | | | | | | | | | | | Add Step attribute to crange; fix tests for cnumber and crange
| | | * | | Add Step attribute to crange; fix tests for cnumber and crangeGravatar Mark Clements2019-10-04
| | |/ / /
| | * | | Unicode escapes in JSONGravatar Adam Chlipala2019-09-25
| | | | |
| | * | | Desugaring of SQL constraints uses wildcards, so allow that even in signaturesGravatar Adam Chlipala2019-09-21
| | | | |
| | * | | Laxer wildcard restriction for signaturesGravatar Adam Chlipala2019-09-20
| | | | |
| | * | | Signatures should be allowed to use wildcards for kinds associated with ↵Gravatar Adam Chlipala2019-09-18
| | | | | | | | | | | | | | | | | | | | concrete constructors
| | * | | Disallow wildcards in signatures (should help with #174)Gravatar Adam Chlipala2019-09-18
| | | | |
| | * | | More detailed error message for bad path kind spec (closes #178)Gravatar Adam Chlipala2019-09-14
| | | | |
| | * | | Merge pull request #177 from DestyNova/use-utf8-instead-of-escapesGravatar Adam Chlipala2019-09-06
| | |\ \ \ | | | | | | | | | | | | Try to use UTF-8 rather than numeric HTML escapes
| | * | | | urweb daemon restartGravatar Adam Chlipala2019-08-30
| | | | | |
| | * | | | Smooth rough edges of daemon command-line behaviorGravatar Adam Chlipala2019-08-30
| | | | | |
| | | * | | PR suggestions (with thanks to @fabriceleal).Gravatar Oisín Mac Fhearaí2019-08-29
| | | | | |
| | | * | | Minor cleanup -- handle the case where we couldn't successfully generate a ↵Gravatar Oisín Mac Fhearaí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 patternsGravatar Adam Chlipala2019-08-17
| | | | | |
| | | * | | Try to avoid a pointer conversion errorGravatar Oisín Mac Fhearaí2019-08-11
| | | | | |
| | | * | | Add missing includeGravatar Oisín Mac Fhearaí2019-08-11
| | | | | |
| | | * | | * When htmlifying characters, don't use numeric escapes if they'reGravatar Oisín Mac Fhearaí2019-08-11
| | |/ / / | | | | | | | | | | | | | | | | | | | | printable -- instead, try to convert them to UTF-8. * Add libicuio to linked C libraries
| | * | | Datetime.ord_monthGravatar Adam Chlipala2019-08-10
| | | | |
| | * | | Flush output on loggingGravatar Adam Chlipala2019-08-04
| | | | |
| | | * | Cleaned up elisp and added dependenciesGravatar FrigoEU2019-08-03
| | | | |
| | | * | Added emacs functions for getInfoGravatar FrigoEU2019-08-03
| | | | |
| | | * | Added comments and extracted typeOf/getInfo into seperate moduleGravatar FrigoEU2019-08-03
| | | | |
| | | * | Removed some unnecessary printsGravatar FrigoEU2019-08-03
| | | | |
| | | * | Improved typeOf searching and handling of Top and BasisGravatar FrigoEU2019-08-01
| | | | |
| | | * | Added file check to typeOf and always add Top and Basis to env in typeOfGravatar FrigoEU2019-08-01
| | | | |
| | | * | first iteration of "typeOf" commandGravatar FrigoEU2019-07-31
| | | | |
| | | * | Removed MISSED_DEP printGravatar FrigoEU2019-07-29
| | | | |
| | | * | Don't use interfaces anymore for ModDb validity, but check for undetermined ↵Gravatar FrigoEU2019-07-29
| | | | | | | | | | | | | | | | | | | | unif vars
| | * | | Remove a misleading comment (#175)Gravatar Adam Chlipala2019-07-26
| | | | |
| | * | | New JavaScript FFI function 'listen'Gravatar Adam Chlipala2019-07-17
| | | | |
| | | * | First iteration of more detailed elaboration cachingGravatar FrigoEU2019-07-07
| | |/ /
| | * | Merge branch 'master' of ssh://github.com/urweb/urwebGravatar Adam Chlipala2019-07-06
| | |\ \
| | * | | Fix subsignature checking for mutually recursive typesGravatar Adam Chlipala2019-07-06
| | | | |
| | | * | Make uw_set_error_message actually act printf-yGravatar Adam Chlipala2019-07-04
| | |/ /
| | * | MySQL forces NOT NULL TIMESTAMPs to have default valuesGravatar Adam Chlipala2019-05-31
| | | |
| | * | Retool handling of text keys in MySQLGravatar Adam Chlipala2019-05-31
| | | |
| | * | MySQL doesn't need us to ask for InnoDB anymoreGravatar Adam Chlipala2019-05-31
| | | |
| | * | Filecache support for MySQLGravatar Adam Chlipala2019-05-31
| | | |
| | * | Catch clashing rewritten URL prefixesGravatar Adam Chlipala2019-04-15
| | | |
| | * | Generate primary key constraints with normal CONSTRAINT clauses (initial ↵Gravatar Adam Chlipala2019-04-13
| | | | | | | | | | | | | | | | motivation: apgdiff only supports this new form)
| | * | Urlify unit values as underscores, to avoid confusing parserGravatar Adam Chlipala2019-04-09
| | | |
| | * | Allow Basis.currentUrl on client sideGravatar Adam Chlipala2019-03-30
| | | |
| | * | Ensure compilation fails even if the only problem is a missing source fileGravatar Adam Chlipala2019-03-30
| | | |
| | * | Don't escape slashes for JSONGravatar Adam Chlipala2019-03-27
| | | |
| | * | Supporting 'char' arguments to handlers called from client codeGravatar Adam Chlipala2019-03-23
| | | |
| | * | Allow dollar-sign shortcuts for 'file' and 'jsFile' directivesGravatar Adam Chlipala2019-03-16
| | | |
| | * | JavaScript string subscripting should raise out-of-bounds exceptionsGravatar Adam Chlipala2019-03-10
| | | |
| | * | Lexer should track newlines properly inside XML commentsGravatar Adam Chlipala2019-03-03
| | | |
| | * | Return to working version modeGravatar Adam Chlipala2019-02-17
| | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-28 19:02:00 +0000