urweb - functional programming language for web programming

	Commit message (Expand)	Author	Age
*	Add support for -boot flag, which allows in-tree execution of Ur/Web	Edward Z. Yang	2012-05-02
*	Catch duplicate top-level module names; fix dropping of constraints during in...	Adam Chlipala	2012-05-03
*	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 f...	Adam Chlipala	2012-05-02
*	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 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
*	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 Ya...	Adam Chlipala	2012-03-16
*	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
*	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 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
*	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