debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Hexadecimal integer literals, contributed by Gabriel Riba	Adam Chlipala	2015-03-05
\|
*	Some new infix operators, contributed by Gabriel Riba	Adam Chlipala	2015-03-05
\|
*	Tiny lexer change for SML/NJ compatibility (suggested by Ziv Scully)	Adam Chlipala	2014-11-25
\|
*	Some more HTML5 input types	Adam Chlipala	2014-11-16
\|
*	New lessSafeFfi	Adam Chlipala	2014-05-02
\|
*	Add some name-mangling rules to allow XML attribute 'name' and attributes ↵	Adam Chlipala	2012-12-27
\| \| \| \|	with dashes
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
\|
*	Compiled a window function use	Adam Chlipala	2012-06-02
\|
*	Reinitialize lexer state properly	Adam Chlipala	2012-05-04
\|
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29
\|
*	'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)	Adam Chlipala	2012-02-02
\|
*	Add LIKE operator to SQL sublanguage.	Karn Kallio	2011-11-23
\|
*	COALESCE	Adam Chlipala	2011-11-19
\|
*	Support the full set of XHTML character entities	Adam Chlipala	2011-11-05
\|
*	Adjust for different ml-lex behavior between SML/NJ and MLton	Adam Chlipala	2011-11-05
\|
*	IF THEN ELSE conditional for SQL.	Karn Kallio	2011-10-14
\|
*	Cope with DOS-format line breaks in source code	Adam Chlipala	2011-03-10
\|
*	JavaScript compilation of time comparison; fix lexing of XML that includes ↵	Adam Chlipala	2010-12-24
\| \| \| \|	open parens
*	:::_ notation; switch to TooDeep error message	Adam Chlipala	2010-10-10
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Fix typing of cut operators; fix lexing of XML comments	Adam Chlipala	2010-09-16
\|
*	Better UTF-8 escaping for JavaScript and SQL literals	Adam Chlipala	2010-08-10
\|
*	HTML comments	Adam Chlipala	2010-08-10
\|
*	ML-style comments inside XML	Adam Chlipala	2010-08-10
\|
*	Pushing policies through	Adam Chlipala	2010-04-04
\|
*	Allow escaped backslashes in literals; conversion betwixt int and char	Adam Chlipala	2010-01-12
\|
*	Octal and hexidecimal string escapes	Adam Chlipala	2009-12-29
\|
*	Convert to task syntax	Adam Chlipala	2009-12-15
\|
*	Initializers and setval	Adam Chlipala	2009-12-13
\|
*	Better record summary error messages; more tweaking SQL usability	Adam Chlipala	2009-12-13
\|
*	Fix lexing of string literals in XML; treat EError as impure in MonoReduce	Adam Chlipala	2009-12-12
\|
*	SELECT DISTINCT; eta expansion during Cjrization	Adam Chlipala	2009-10-06
\|
*	&& and \|\|	Adam Chlipala	2009-06-07
\|
*	Lexing some more string escape sequences; JS versions of number read; fix ↵	Adam Chlipala	2009-06-02
\| \| \| \|	problem with signature unification; escape < more often in Jscomp
*	Chars and more string operations	Adam Chlipala	2009-05-26
\|
*	Lexing character entities	Adam Chlipala	2009-04-30
\|
*	A view query works	Adam Chlipala	2009-04-28
\|
*	RIGHT and FULL JOIN	Adam Chlipala	2009-04-28
\|
*	LEFT JOIN	Adam Chlipala	2009-04-28
\|
*	INNER JOIN	Adam Chlipala	2009-04-28
\|
*	style declarations	Adam Chlipala	2009-04-12
\|
*	CHECK constraints	Adam Chlipala	2009-04-09
\|
*	FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵	Adam Chlipala	2009-04-07
\| \| \| \|	lingering problems in row inference)
*	PRIMARY KEY	Adam Chlipala	2009-04-07
\|
*	UNIQUE constraints	Adam Chlipala	2009-04-07
\|
*	Type class reductions, but no inclusions yet	Adam Chlipala	2009-03-26
\|
*	Top.Fold.concat elaborates	Adam Chlipala	2009-02-24
\|
*	Start of kind polymorphism, up to the point where demo/hello elaborates with ↵	Adam Chlipala	2009-02-22
\| \| \| \|	updated Basis/Top
*	"Hello world" compiles, after replacing type-level fold with map	Adam Chlipala	2009-02-21
\|
*	Add CutMulti	Adam Chlipala	2008-11-11
\|