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
*
First version of calculateFileState
Simon Van Casteren
2019-12-13
*
Started work on keeping some state in LSP server
Simon Van Casteren
2019-12-13
*
Add shell.nix
Simon Van Casteren
2019-12-13
*
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
|
\
|
*
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
[next]