debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	'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 scope...	Adam Chlipala	2012-04-27
*	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
*	'linker' .urp directive	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
*	Optimize code from last changeset a bit	Adam Chlipala	2012-04-08
*	Refactor to avoid dependence on recursive mutexes	Adam Chlipala	2012-04-08
*	Fix defunctorization of modules containing datatype definitions	Adam Chlipala	2012-03-29
*	Change ID generation scheme to conform to HTML standards (thanks to Edward Ya...	Adam Chlipala	2012-03-16
*	Remove weird special case for FFI functions whose first arguments have type [...	Adam Chlipala	2012-03-14
*	Delete C temporary directories, even if other files wind up there	Adam Chlipala	2012-03-13
*	Remove seemingly inaccurate part of comment (perhaps clarified version can be...	Adam Chlipala	2012-03-13
*	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
*	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
*	Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday	Adam Chlipala	2012-02-04
*	Extend and document RANDOM	Adam Chlipala	2012-02-04
*	'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)	Adam Chlipala	2012-02-02
*	Fix fetching of keycodes for key events	Adam Chlipala	2012-01-15
*	Fixed clients mutex initialization for compiling under OS X.	Vladimir Shabanov	2012-01-14
*	-dumpSource flag; Especialize tweak: may specialize any argument sequence end...	Adam Chlipala	2012-01-12
*	Small fix to previous commit	Adam Chlipala	2012-01-11
*	New, more principled heuristic for Especialize: only specialize uniform funct...	Adam Chlipala	2012-01-11
*	Tweak Especialize heuristic	Adam Chlipala	2012-01-11
*	Make Ubuntu linking patch more general	Adam Chlipala	2012-01-10
*	Fix some locking issues for client array	Adam Chlipala	2012-01-10
*	Properly handle case where an RPC changes signed cookie state	Adam Chlipala	2012-01-10
*	Prevent horrifying loops in unification variable graph	Adam Chlipala	2012-01-09