index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
|
|
*
Minor cleanup -- handle the case where we couldn't successfully generate a UT...
Oisín Mac Fhearaí
2019-08-28
|
*
|
Generic traversal for Elab should visit let-bound patterns
Adam Chlipala
2019-08-17
|
|
*
Try to avoid a pointer conversion error
Oisín Mac Fhearaí
2019-08-11
|
|
*
Add missing include
Oisín Mac Fhearaí
2019-08-11
|
|
*
* When htmlifying characters, don't use numeric escapes if they're
Oisín Mac Fhearaí
2019-08-11
|
|
/
|
*
Datetime.ord_month
Adam Chlipala
2019-08-10
|
*
Flush output on logging
Adam Chlipala
2019-08-04
*
|
Cleaned up elisp and added dependencies
FrigoEU
2019-08-03
*
|
Added emacs functions for getInfo
FrigoEU
2019-08-03
*
|
Added comments and extracted typeOf/getInfo into seperate module
FrigoEU
2019-08-03
*
|
Removed some unnecessary prints
FrigoEU
2019-08-03
*
|
Improved typeOf searching and handling of Top and Basis
FrigoEU
2019-08-01
*
|
Added file check to typeOf and always add Top and Basis to env in typeOf
FrigoEU
2019-08-01
*
|
first iteration of "typeOf" command
FrigoEU
2019-07-31
*
|
Removed MISSED_DEP print
FrigoEU
2019-07-29
*
|
Don't use interfaces anymore for ModDb validity, but check for undetermined u...
FrigoEU
2019-07-29
|
*
Remove a misleading comment (#175)
Adam Chlipala
2019-07-26
|
*
New JavaScript FFI function 'listen'
Adam Chlipala
2019-07-17
*
|
First iteration of more detailed elaboration caching
FrigoEU
2019-07-07
|
/
*
Merge branch 'master' of ssh://github.com/urweb/urweb
Adam Chlipala
2019-07-06
|
\
*
|
Fix subsignature checking for mutually recursive types
Adam Chlipala
2019-07-06
|
*
Make uw_set_error_message actually act printf-y
Adam Chlipala
2019-07-04
|
/
*
MySQL forces NOT NULL TIMESTAMPs to have default values
Adam Chlipala
2019-05-31
*
Retool handling of text keys in MySQL
Adam Chlipala
2019-05-31
*
MySQL doesn't need us to ask for InnoDB anymore
Adam Chlipala
2019-05-31
*
Filecache support for MySQL
Adam Chlipala
2019-05-31
*
Catch clashing rewritten URL prefixes
Adam Chlipala
2019-04-15
*
Generate primary key constraints with normal CONSTRAINT clauses (initial moti...
Adam Chlipala
2019-04-13
*
Urlify unit values as underscores, to avoid confusing parser
Adam Chlipala
2019-04-09
*
Allow Basis.currentUrl on client side
Adam Chlipala
2019-03-30
*
Ensure compilation fails even if the only problem is a missing source file
Adam Chlipala
2019-03-30
*
Don't escape slashes for JSON
Adam Chlipala
2019-03-27
*
Supporting 'char' arguments to handlers called from client code
Adam Chlipala
2019-03-23
*
Allow dollar-sign shortcuts for 'file' and 'jsFile' directives
Adam Chlipala
2019-03-16
*
JavaScript string subscripting should raise out-of-bounds exceptions
Adam Chlipala
2019-03-10
*
Lexer should track newlines properly inside XML comments
Adam Chlipala
2019-03-03
*
Return to working version mode
Adam Chlipala
2019-02-17
*
Include memmem.h in distribution
Adam Chlipala
2019-02-17
*
New release
20190217
Adam Chlipala
2019-02-17
*
List.mapConcat and mapConcatM
Adam Chlipala
2019-02-12
*
List.searchM and ListPair.unzip
Adam Chlipala
2019-02-10
*
Top: foldR4 and mapX4
Adam Chlipala
2019-02-09
*
Bump up maximum size for HTTP receive buffers
Adam Chlipala
2019-01-30
*
Manual entry for '-endpoints'
Adam Chlipala
2019-01-27
*
Merge pull request #170 from ashalkhakov/endpoints
Adam Chlipala
2019-01-27
|
\
|
*
Fix build error.
Artyom Shalkhakov
2019-01-27
|
*
Merge branch 'master' of https://github.com/urweb/urweb into endpoints
Artyom Shalkhakov
2019-01-27
|
|
\
|
|
/
|
/
|
*
|
Stop complaining when a nonexistent option is chosen for cselect
Adam Chlipala
2019-01-26
*
|
Clarifying security model in the manual
Adam Chlipala
2019-01-26
*
|
Merge pull request #168 from fabriceleal/fix-codepoint-js
Adam Chlipala
2019-01-26
|
\
\
[prev]
[next]