debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
...
*	Flush elaboration cache when switching between .urp files	Adam Chlipala	2012-06-23
\|
*	Lighter-weight encoding of window function use	Adam Chlipala	2012-06-03
\|
*	Partitioning and ordering for window functions	Adam Chlipala	2012-06-02
\|
*	Compiled a window function use	Adam Chlipala	2012-06-02
\|
*	Some standard library additions from Edward Z. Yang	Adam Chlipala	2012-05-19
\|
*	Run-time CSS style validation	Adam Chlipala	2012-05-06
\|
*	New optional suffice for 'rewrite' in .urp files: [-]	Adam Chlipala	2012-05-06
\|
*	'dynStyle' pseudo-attribute	Adam Chlipala	2012-05-06
\|
*	'style' attributes	Adam Chlipala	2012-05-06
\|
*	Simplify type of Basis.tag, regarding 'class' attribute; new compatibility ↵	Adam Chlipala	2012-05-06
\| \| \| \|	parsing of 'class' values given as string literals
*	More diagnostic information about some type class resolution failures	Adam Chlipala	2012-05-04
\|
*	Reinitialize lexer state properly	Adam Chlipala	2012-05-04
\|
*	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
*	'urweb daemon start' and 'urweb daemon stop'	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
\|
*	'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
\|
*	Do a lot more type simplification for error messages	Adam Chlipala	2012-04-16
\|
*	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 ↵	Adam Chlipala	2012-03-16
\| \| \| \|	Yang for the catch)
*	New JavaScript FFI function: setInnerHTML	Adam Chlipala	2012-03-14
\|
*	Handle recursive RPC handlers	Adam Chlipala	2012-03-11
\|
*	Change <radio> to yield [option string]	Adam Chlipala	2012-03-10
\|
*	Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday	Adam Chlipala	2012-02-04
\|
*	'ORDER BY RANDOM' (based on a patch from Ron de Bruijn)	Adam Chlipala	2012-02-02
\|
*	Fix bug with 'dynClass' immediately inside <dyn>	Adam Chlipala	2012-01-14
\|
*	'dynClass' pseudo-attribute	Adam Chlipala	2011-12-27
\|
*	Add a new scoping check for unification variables, to fix a type inference bug	Adam Chlipala	2011-12-18
\|
*	SQL lower() and upper() functions	Adam Chlipala	2011-12-17
\|
*	Treat [naughtyDebug] as pure for optimization purposes	Adam Chlipala	2011-12-05
\|
*	Stop [read] from raising an exception for invalid [int] strings	Adam Chlipala	2011-12-04
\|
*	timeFormat .urp directive	Adam Chlipala	2011-12-04
\|
*	Don't crash on invalid URL head terms during Tag	Adam Chlipala	2011-12-03
\|
*	New 't.*' notation for SELECT	Adam Chlipala	2011-12-03
\|
*	Change client-side debug to use console.debug	Adam Chlipala	2011-12-03
\|