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
...
|
|
|
*
|
Added some LSP notifications support
Simon Van Casteren
2019-12-13
|
|
|
*
|
First actually working version of LSP
Simon Van Casteren
2019-12-13
|
|
|
*
|
Refactored LSP into few modules
Simon Van Casteren
2019-12-13
|
|
|
*
|
Added initial version of lsp
Simon Van Casteren
2019-12-13
|
|
|
*
|
Added openSSL dev files to nix
Simon Van Casteren
2019-12-13
|
|
|
*
|
Added nix files
Simon Van Casteren
2019-12-13
|
|
|
*
|
Merge remote-tracking branch 'origin/master' into typeOf
Simon Van Casteren
2019-12-13
|
|
|
|
\
\
|
|
_
|
_
|
/
/
|
/
|
|
|
|
|
|
*
|
|
Improve error messages
Davor Ocelic
2019-12-12
|
|
/
/
/
|
/
|
|
|
|
*
|
|
Unix sockets: use platform-agnostic include file
Davor Ocelic
2019-12-10
|
*
|
|
Add UNIX socket support and a new '-u' option to specify socket filename to bind
Davor Ocelic
2019-12-10
|
/
/
/
*
|
|
SQL SIMILAR (via pg_trgm)
Adam Chlipala
2019-12-04
*
|
|
Json: expose RFC 3339 functions
Adam Chlipala
2019-11-08
*
|
|
Merge pull request #182 from FrigoEU/181
Adam Chlipala
2019-11-08
|
\
\
\
|
*
|
|
Fix for #181: unurlify x-www-form-urlencoded without custom serialization usi...
Simon Van Casteren
2019-11-04
|
/
/
/
*
|
|
Undo a questionable optimization, almost 10 years later (closes #179)
Adam Chlipala
2019-10-13
*
|
|
JSON instance for times, based on RFC 3339 (because Google APIs use it)
Adam Chlipala
2019-10-11
*
|
|
JSON records with optional fields
Adam Chlipala
2019-10-11
*
|
|
Update urlification of unit values for RPC results, to track a previous chang...
Adam Chlipala
2019-10-07
*
|
|
Optimize JSON unescaping for server-side execution
Adam Chlipala
2019-10-05
*
|
|
JavaScript 'currentUrl' should return a string, not a URL, since the latter h...
Adam Chlipala
2019-10-04
*
|
|
Merge pull request #180 from mclements/master
Adam Chlipala
2019-10-04
|
\
\
\
|
*
|
|
Add Step attribute to crange; fix tests for cnumber and crange
Mark Clements
2019-10-04
|
/
/
/
*
|
|
Unicode escapes in JSON
Adam Chlipala
2019-09-25
*
|
|
Desugaring of SQL constraints uses wildcards, so allow that even in signatures
Adam Chlipala
2019-09-21
*
|
|
Laxer wildcard restriction for signatures
Adam Chlipala
2019-09-20
*
|
|
Signatures should be allowed to use wildcards for kinds associated with concr...
Adam Chlipala
2019-09-18
*
|
|
Disallow wildcards in signatures (should help with #174)
Adam Chlipala
2019-09-18
*
|
|
More detailed error message for bad path kind spec (closes #178)
Adam Chlipala
2019-09-14
*
|
|
Merge pull request #177 from DestyNova/use-utf8-instead-of-escapes
Adam Chlipala
2019-09-06
|
\
\
\
*
|
|
|
urweb daemon restart
Adam Chlipala
2019-08-30
*
|
|
|
Smooth rough edges of daemon command-line behavior
Adam Chlipala
2019-08-30
|
*
|
|
PR suggestions (with thanks to @fabriceleal).
Oisín Mac Fhearaí
2019-08-29
|
*
|
|
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
[prev]
[next]