debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Catch duplicate top-level module names; fix dropping of constraints during ↵	Adam Chlipala	2012-05-03
\| \| \| \|	incremental elaboration; document treatment of record types as type class instance types
*	Don't modify the module cache after elaboration failures	Adam Chlipala	2012-05-02
\|
*	Better discovery of type class instances from recursive definitions	Adam Chlipala	2012-05-02
\|
*	In simplifying constructors for error messages, unfold constructor synonyms ↵	Adam Chlipala	2012-05-02
\| \| \| \|	from modules
*	Fix generation of normal datatypes from polymorphic variants	Adam Chlipala	2012-04-29
\|
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
\|
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29
\|
*	Include JavaScript files properly in error handler pages	Adam Chlipala	2012-04-28
\|
*	Fix urlification of recursive polymorphic variants	Adam Chlipala	2012-04-28
\|
*	Avoid generating empty <script> tags	Adam Chlipala	2012-04-27
\|
*	Ensure proper ordering of <script> execution, to bring identifiers into ↵	Adam Chlipala	2012-04-27
\| \| \| \|	scope in time
*	Omit unnecessary parens around arrows in pretty-printing	Adam Chlipala	2012-04-27
\|
*	Removed excess zero byte from empty pages.	Vladimir Shabanov	2012-04-25
\| \| \| \|	Zero byte sometimes breaks http tunneling in Safari. Empty page is a "Not Modified" response for app.js
*	'linker' .urp directive	Adam Chlipala	2012-04-22
\|
*	Another test for cancelation in error messages	Adam Chlipala	2012-04-22
\|
*	-unifyMore	Adam Chlipala	2012-04-22
\|
*	Antiquote for PRIMARY KEY	Adam Chlipala	2012-04-21
\|
*	Omit 'Basis.' in pretty-printing constructors, where this is unambiguous	Adam Chlipala	2012-04-21
\|
*	Pretty-print tuple types using tuple syntax	Adam Chlipala	2012-04-21
\|
*	Saving proper environments, to use in displaying nested error messages	Adam Chlipala	2012-04-21
\|
*	Add another rule to simplify record concatenations for pretty-printing	Adam Chlipala	2012-04-21
\|
*	Avoid kindof failures in elaboration	Adam Chlipala	2012-04-21
\|
*	Tweak printing of constructor record literals to allow re-parsing by compiler	Adam Chlipala	2012-04-16
\|
*	Simplify types for printing with '-dumpTypes'	Adam Chlipala	2012-04-16
\|
*	Do a lot more type simplification for error messages	Adam Chlipala	2012-04-16
\|
*	Fix monoization of recursive variants	Adam Chlipala	2012-04-16
\|
*	Saving uw_event for all events (so stopPropagation works everywhere)	Vladimir Shabanov	2012-04-11
\|
*	Fixed 'onload' handling for img tag.	Vladimir Shabanov	2012-04-11
\|
*	Remove string-valued style attribute, which may allow injection attacks	Adam Chlipala	2012-04-15
\|
*	Added several missing tag attributes	Vladimir Shabanov	2012-04-11
\|
*	Optimize code from last changeset a bit	Adam Chlipala	2012-04-08
\|
*	Refactor to avoid dependence on recursive mutexes	Adam Chlipala	2012-04-08
\|
*	Return to working version mode	Adam Chlipala	2012-03-29
\|
*	New release	Adam Chlipala	2012-03-29
\|
*	Fix defunctorization of modules containing datatype definitions	Adam Chlipala	2012-03-29
\|
*	Change ID generation scheme to conform to HTML standards (thanks to Edward ↵	Adam Chlipala	2012-03-16
\| \| \| \|	Yang for the catch)
*	New JavaScript FFI function: setInnerHTML	Adam Chlipala	2012-03-14
\|
*	Remove weird special case for FFI functions whose first arguments have type ↵	Adam Chlipala	2012-03-14
\| \| \| \|	[unit]
*	Delete C temporary directories, even if other files wind up there	Adam Chlipala	2012-03-13
\|
*	Clarify necessity of 'effectful' in the manual	Adam Chlipala	2012-03-13
\|
*	Remove seemingly inaccurate part of comment (perhaps clarified version can ↵	Adam Chlipala	2012-03-13
\| \| \| \|	be added back in later)
*	Refactor SQL parsing code from Iflow to Sql, add querydml parser.	Edward Z. Yang	2012-03-12
\|
*	Some minor documentation to the Mono AST.	Edward Z. Yang	2012-03-12
\|
*	Handle recursive RPC handlers	Adam Chlipala	2012-03-11
\|
*	Return to working version mode	Adam Chlipala	2012-03-10
\|
*	New release	Adam Chlipala	2012-03-10
\|
*	Change <radio> to yield [option string]	Adam Chlipala	2012-03-10
\|
*	Avoid URL size limit in RPCs with large arguments	Adam Chlipala	2012-03-03
\|
*	Avoid 'not fully determined' errors for fancy tasks	Adam Chlipala	2012-03-03
\|
*	Pass non-printing characters through unchanged in sqlifyString, to support UTF-8	Adam Chlipala	2012-03-03
\|