debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Merge branch 'upstream' into dfsg_clean20200209+dfsg dfsg_clean	Benjamin Barenblat	2020-05-30
\|\
\| *	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
\| * \|	monad has kind (Type->Type)->Type, not just Type->Type	Matthew Dempsky	2020-01-21
\| \|/
\| *	Fix documentation typo	Matthew Dempsky	2020-01-19
\| *	Added some documentation for the LSP server to the manual	Simon Van Casteren	2020-01-15
\| *	urweb daemon restart	Adam Chlipala	2019-08-30
\| *	New JavaScript FFI function 'listen'	Adam Chlipala	2019-07-17
\| *	Manual entry for '-endpoints'	Adam Chlipala	2019-01-27
\| *	Clarifying security model in the manual	Adam Chlipala	2019-01-26
\| *	Follow-up to #146: update documentation	Adam Chlipala	2018-12-19
\| *	New .urp option: safeGetDefault	Adam Chlipala	2018-12-14
\| *	Fix a manual typo	Adam Chlipala	2018-10-23
* \|	Merge branch 'upstream' into dfsg_clean20180616+dfsg	Benjamin Barenblat	2018-06-17
\|\\|
\| *	'filecache' .urp directive, fixing a longstanding MonoUtil bug in the process	Adam Chlipala	2018-06-03
\| *	Manual fix: [self] only callable on the server	Adam Chlipala	2017-11-11
\| *	New .urp directives: mimeTypes and long form of file	Adam Chlipala	2017-10-01
* \|	Merge branch 'upstream' into dfsg_clean	Benjamin Barenblat	2017-07-23
\|\\|
\| *	Allow inexhaustive patterns for lefthand sides of top-level 'val' declarations	Adam Chlipala	2017-07-12
\| *	Document new 'jsModule' .urp directive	Adam Chlipala	2017-07-12
\| *	Extend license for tutorial code	Adam Chlipala	2017-03-17
\| *	Update manual for '-js'	Adam Chlipala	2017-03-07
* \|	Merge branch 'upstream' into dfsg_clean20161022+dfsg	Benjamin Barenblat	2016-10-23
\|\\|
\| *	Make HTML5 the default and add 'xhtml' .urp directive	Adam Chlipala	2016-09-20
\| *	Manual: explain the cooperative multithreading model	Adam Chlipala	2016-08-26
* \|	Merge branch 'upstream' into dfsg_clean20160515+dfsg	Benjamin Barenblat	2016-05-30
\|\\|
\| *	Support for <meta> tags	Adam Chlipala	2016-05-15
* \|	Merge branch 'upstream' into dfsg_clean20151220+dfsg	Benjamin Barenblat	2015-12-23
\|\\|
\| *	Short manual note on -sqlcache	Adam Chlipala	2015-12-20
\| *	Document jsFile	Adam Chlipala	2015-12-05
* \|	Merge branch 'upstream' into dfsg_clean20150819+dfsg	Benjamin Barenblat	2015-08-19
\|\ \
\| * \|	Add LIKE to the manual	Adam Chlipala	2015-08-15
\| \| *	Add LIKE to the manual	Adam Chlipala	2015-08-15
\| * \|	Fix termination bug in tutorial's isEven/isOdd	Adam Chlipala	2015-08-09
\| \| *	Fix termination bug in tutorial's isEven/isOdd	Adam Chlipala	2015-08-09
* \| \|	Merge branch 'upstream' into dfsg_clean20150520+dfsg	Benjamin Barenblat	2015-05-20
\|\ \ \
\| \| * \|	A number of bug fixes in the manual	Adam Chlipala	2015-06-11
\| \|/ /
\| \| *	A number of bug fixes in the manual	Adam Chlipala	2015-06-11
\| * \|	Use hyperref in manual	Julian Squires	2015-04-24
\| \| *	Use hyperref in manual	Julian Squires	2015-04-24
* \| \|	Merge branch 'upstream' into dfsg_clean20150412+dfsg	Benjamin Barenblat	2015-04-14
\|\\| \|
* \| \|	Make DFSG-clean20150214+dfsg	Benjamin Barenblat	2015-03-09
\| * \|	Document hexadecimal literals	Adam Chlipala	2015-03-05
\| \| *	Document hexadecimal literals	Adam Chlipala	2015-03-05
\| * \|	Document new infix operators	Adam Chlipala	2015-03-05
\|/ /