debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	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
\|
*	'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
\|
*	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
\|
*	Update manual for '-js'	Adam Chlipala	2017-03-07
\|
*	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
\|
*	Support for <meta> tags	Adam Chlipala	2016-05-15
\|
*	Short manual note on -sqlcache	Adam Chlipala	2015-12-20
\|
*	Document jsFile	Adam Chlipala	2015-12-05
\|
*	Add LIKE to the manual	Adam Chlipala	2015-08-15
\|
*	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.
*	Document hexadecimal literals	Adam Chlipala	2015-03-05
\|
*	Document new infix operators	Adam Chlipala	2015-03-05
\|
*	Reference manual: fix rendering of field removal operators	Adam Chlipala	2015-01-22
\|
*	New antiquote syntax for ORDER BY	Adam Chlipala	2014-12-23
\|
*	Make 'required' and 'autofocus' attributes Boolean; add a syntax extension ↵	Adam Chlipala	2014-11-16
\| \| \| \|	for parsing their usual HTML syntax
*	'aria-*' attributes	Adam Chlipala	2014-08-01
\|
*	New .urp directive: file	Adam Chlipala	2014-07-31
\|
*	Manual: Heuristic compilation warning	Adam Chlipala	2014-07-26
\|
*	Default 'jsFunc' for less-safe FFI	Adam Chlipala	2014-07-16
\|
*	New syntactic shorthand for antiquoting subqueries	Adam Chlipala	2014-06-25
\|
*	let..where..end	Adam Chlipala	2014-06-11
\|
*	Warn about MLton memory usage	Adam Chlipala	2014-05-25
\|
*	New lessSafeFfi	Adam Chlipala	2014-05-02
\|
*	Monadic bind supports patterns	Adam Chlipala	2014-05-02
\|
*	HTML5 data-* attributes	Adam Chlipala	2014-05-02
\|
*	uw_register_transactional() can return error codes	Adam Chlipala	2014-04-17
\|
*	Tweaking uw_commit() logic, partly to fix a resource clean-up bug on SQL ↵	Adam Chlipala	2014-04-15
\| \| \| \|	serialization failures
*	Update manual inaccuracies about client-side functions	Adam Chlipala	2014-04-13
\|
*	-explainEmbed	Adam Chlipala	2014-03-17
\|