debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	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
\| \| \| \| \| \| \| \| \| \|	Guarded expression abstractions (fn [c ~ c] => e) begin with a lambda, but guarded types ([c ~ c] => t) do not.
\| *	Fix typos in kinding judgments	Matthew Dempsky	2020-02-04
\| \| \| \| \| \| \| \|	Kind-polymorphism is written as "X --> k", not "X -> k".
\| *	Fix record type shorthand	Matthew Dempsky	2020-02-04
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	The syntax is {c : c}, not {c = c}. Also, replace uses of shorthand (both correct and incorrect) in semantics rules with elaborated $[c = c].
\| *	Merge pull request #194 from mdempsky/manual-tweaks	Adam Chlipala	2020-01-27
\| \|\ \| \| \| \| \| \|	Manual tweaks
\| \| *	Elaborate e^* and e^+ syntax	Matthew Dempsky	2020-01-22
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Clarify that parentheses are used if and only if e consists of multiple symbols; also, that both e and the separator (if any) will be paranthesized. ("if any" is appropriate because the grammar extensions for XML include "(x[=v])*", which has no separator.) Fix the known-length type-level record syntax to indicate that commas are used to separate field descriptors. Change the pattern matching grammar to use "\mid" instead of "\|" for internal consistency. (No visible change, as far as I can tell.)
\| \| *	Consistently introduce application syntax before abstraction	Matthew Dempsky	2020-01-22
\| \| \| \| \| \| \| \| \| \| \| \|	Makes it slightly easier to recognize the symmetry between forms.
\| \| *	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
\| \| \| \| \| \| \| \|	Cooperative threads run uninterrupted between context-switch points.
\| *	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
\|\ \ \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: doc/intro.ur
\| * \|	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
\| \| \| \| \| \| \| \| \| \| \| \|	This allows the table of contents to show up properly in PDF readers.
\| \| *	Use hyperref in manual	Julian Squires	2015-04-24
\| \| \| \| \| \| \| \| \| \| \| \|	This allows the table of contents to show up properly in PDF readers.
* \| \|	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
\|/ /