debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Stop putting extraneous files in release tarballs20200209	Adam Chlipala	2020-02-09
*	New release	Adam Chlipala	2020-02-09
*	List.foldli	Adam Chlipala	2020-02-07
*	Fix signature matching of an imported datatype vs. a fresh datatype	Adam Chlipala	2020-02-07
*	Merge pull request #196 from mdempsky/manual-edits	Adam Chlipala	2020-02-06
\|\
\| *	Remove superfluous lambdas before guarded types	Matthew Dempsky	2020-02-04
\| *	Fix typos in kinding judgments	Matthew Dempsky	2020-02-04
\| *	Fix record type shorthand	Matthew Dempsky	2020-02-04
\|/
*	Merge pull request #194 from mdempsky/manual-tweaks	Adam Chlipala	2020-01-27
\|\
\| *	Elaborate e^* and e^+ syntax	Matthew Dempsky	2020-01-22
\| *	Consistently introduce application syntax before abstraction	Matthew Dempsky	2020-01-22
\| *	Kind variables must be bracketed in expression-level binders	Matthew Dempsky	2020-01-22
* \|	Merge pull request #193 from mdempsky/monad-kind	Adam Chlipala	2020-01-21
\|\ \ \| \|/ \|/\|
\| *	monad has kind (Type->Type)->Type, not just Type->Type	Matthew Dempsky	2020-01-21
\|/
*	Merge pull request #192 from mdempsky/manual-typo	Adam Chlipala	2020-01-19
\|\
\| *	Fix documentation typo	Matthew Dempsky	2020-01-19
\|/
*	Merge pull request #136 from dredozubov/anchor-links	Adam Chlipala	2020-01-15
\|\
* \	Merge pull request #186 from FrigoEU/lsp	Adam Chlipala	2020-01-15
\|\ \
\| * \|	Added some documentation for the LSP server to the manual	Simon Van Casteren	2020-01-15
\| * \|	LSP: Improved handling of datatypes from signatures	Simon Van Casteren	2020-01-12
* \| \|	Merge pull request #185 from docelic/better-error-reports	Adam Chlipala	2020-01-12
\|\ \ \
\| \| * \|	Fixed review changes: Better foundInEnv naming, correct interpretation of	Simon Van Casteren	2020-01-11
\| \| * \|	Change findSmallestSpan to findClosestSpan: faster at 99% of times better	Simon Van Casteren	2020-01-10
* \| \| \|	At compile time, allow '#' as a URL	Adam Chlipala	2020-01-10
\| \| * \|	Refactor to do all matching on strings, more precise and faster	Simon Van Casteren	2020-01-10
\| \| * \|	Fixed smaller review remarks	Simon Van Casteren	2020-01-08
\| \| * \|	Allow simple .ur files to double as .urs files for LSP	Simon Van Casteren	2020-01-08
\| \| * \|	Added some type sigs required by SMLNJ	Simon Van Casteren	2020-01-08
\| \| * \|	Add bg_thread.dummy.sml to mock MLton threads in sml/nj	Simon Van Casteren	2020-01-08
\| \| * \|	Return only unique diags + better formatting	Simon Van Casteren	2020-01-08
\| \| * \|	Added some more stuff to lsp getInfo and completions	Simon Van Casteren	2020-01-04
* \| \| \|	More lenient RFC 3339 parsing	Adam Chlipala	2019-12-23
* \| \| \|	Merge pull request #191 from JasonGross/patch-2	Adam Chlipala	2019-12-20
\|\ \ \ \
* \ \ \ \	Merge branch 'master' of ssh://github.com/urweb/urweb	Adam Chlipala	2019-12-19
\|\ \ \ \ \
* \| \| \| \| \|	Fix toJson for records with optional fields	Adam Chlipala	2019-12-19
\| \| * \| \| \|	Try using brew upgrade in Travis	Jason Gross	2019-12-17
\| \|/ / / /
\| * \| \| \|	Merge pull request #190 from FrigoEU/sscanf	Adam Chlipala	2019-12-17
\|/\| \| \| \|
\| * \| \| \|	Remove sscanf from blob processing	Simon Van Casteren	2019-12-17
\|/ / / /
* \| \| \|	Support endpoints generation for urpless invocations (closes #187)	Adam Chlipala	2019-12-16
* \| \| \|	Merge pull request #183 from docelic/master	Adam Chlipala	2019-12-15
\|\ \ \ \
\| \| \| * \|	Added background threads	Simon Van Casteren	2019-12-15
\| \| \| * \|	Refactored state into its own module	Simon Van Casteren	2019-12-14
\| \| \| * \|	Parse also FFi .urs files	Simon Van Casteren	2019-12-13
\| \| \| * \|	Fixed ppToString	Simon Van Casteren	2019-12-13
\| \| \| * \|	Always add text to fileState even if elabState throws	Simon Van Casteren	2019-12-13
\| \| \| * \|	Fixed JSON parsing: newline escaping	Simon Van Casteren	2019-12-13
\| \| \| * \|	Added initializationOption to specify project if multiple urp files	Simon Van Casteren	2019-12-13
\| \| \| * \|	Moved json and lsp code into seperate modules	Simon Van Casteren	2019-12-13
\| \| \| * \|	Trial version of completing table fields	Simon Van Casteren	2019-12-13
\| \| \| * \|	Added completion suggestions for types	Simon Van Casteren	2019-12-13