debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Integrated getInfo into LSP	Simon Van Casteren	2019-12-13
*	Use elabFile completely instead of rebuilding it partially	Simon Van Casteren	2019-12-13
*	Fixed parsing errors and loading of interfaces	Simon Van Casteren	2019-12-13
*	Add parse error comment	Simon Van Casteren	2019-12-13
*	First working version of publishDiagnostics	Simon Van Casteren	2019-12-13
*	First publishDiagnostics implementation	Simon Van Casteren	2019-12-13
*	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