summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
| * 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
|
* Include memmem.h in distributionGravatar Adam Chlipala2019-02-17
|
* New release20190217Gravatar Adam Chlipala2019-02-17
|
* List.mapConcat and mapConcatMGravatar Adam Chlipala2019-02-12
|
* List.searchM and ListPair.unzipGravatar Adam Chlipala2019-02-10
|
* Top: foldR4 and mapX4Gravatar Adam Chlipala2019-02-09
|
* Bump up maximum size for HTTP receive buffersGravatar Adam Chlipala2019-01-30
|
* Manual entry for '-endpoints'Gravatar Adam Chlipala2019-01-27
|
* Merge pull request #170 from ashalkhakov/endpointsGravatar Adam Chlipala2019-01-27
|\ | | | | Endpoints output
| * Fix build error.Gravatar Artyom Shalkhakov2019-01-27
| |
| * Merge branch 'master' of https://github.com/urweb/urweb into endpointsGravatar Artyom Shalkhakov2019-01-27
| |\ | |/ |/|
* | Stop complaining when a nonexistent option is chosen for cselectGravatar Adam Chlipala2019-01-26
| |
* | Clarifying security model in the manualGravatar Adam Chlipala2019-01-26
| |
* | Merge pull request #168 from fabriceleal/fix-codepoint-jsGravatar Adam Chlipala2019-01-26
|\ \ | | | | | | utf8: More portable js, implement urlifyChar, fix urlifyString, fix unit tests
* | | Option.mapMGravatar Adam Chlipala2019-01-24
| | |
* | | Basis.textOfBlob; try creating filecache directory if it doesn't existGravatar Adam Chlipala2019-01-21
| | |
| * | fixes for review 1Gravatar fab2019-01-21
| | |
* | | getenv is benignGravatar Adam Chlipala2019-01-20
| | |
| * | bug fixGravatar fab2019-01-14
| | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 08:31:13 +0000