debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Added tracking of text of source files and autocomplete	Simon Van Casteren	2019-12-13
\|
*	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 based on period
\| \| *	Fix for #181: unurlify x-www-form-urlencoded without custom serialization ↵	Simon Van Casteren	2019-11-04
\| \|/ \| \| \| \| \| \|	using period
\| *	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 ↵	Adam Chlipala	2019-10-07
\| \| \| \| \| \| \| \|	change elsewhere
\| *	Optimize JSON unescaping for server-side execution	Adam Chlipala	2019-10-05
\| \|
\| *	JavaScript 'currentUrl' should return a string, not a URL, since the latter ↵	Adam Chlipala	2019-10-04
\| \| \| \| \| \| \| \|	has a completeley different sort of 'replace' method
\| *	Merge pull request #180 from mclements/master	Adam Chlipala	2019-10-04
\| \|\ \| \| \| \| \| \|	Add Step attribute to crange; fix tests for cnumber and crange
\| \| *	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 ↵	Adam Chlipala	2019-09-18
\| \| \| \| \| \| \| \|	concrete constructors
\| *	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
\| \|\ \| \| \| \| \| \|	Try to use UTF-8 rather than numeric HTML escapes
\| * \|	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 ↵	Oisín Mac Fhearaí	2019-08-28
\| \| \| \| \| \| \| \| \| \| \| \|	UTF8 codepoint by outputting a HTML escape (the default behaviour before for all multi-byte characters).
\| * \|	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
\| \|/ \| \| \| \| \| \| \| \|	printable -- instead, try to convert them to UTF-8. * Add libicuio to linked C libraries
\| *	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
\| \|