debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	New NameJs phase, still needing some debugging	Adam Chlipala	2012-08-02
\|
*	Basis.getenv	Adam Chlipala	2012-08-02
\|
*	Change 'spawn' implementation to allow blocking within <active code>	Adam Chlipala	2012-07-25
\|
*	Fix JavaScript implementation of strcspn()	Adam Chlipala	2012-07-24
\|
*	Disallow suspending operations in <active code={...}>	Adam Chlipala	2012-07-23
\|
*	Add more global mouse event hooks	Adam Chlipala	2012-07-23
\|
*	Nicer <active> semantics	Adam Chlipala	2012-07-22
\|
*	Fix bug in handling of event attributes within client-side widgets	Adam Chlipala	2012-07-21
\|
*	Top.postFields	Adam Chlipala	2012-07-21
\|
*	<active>	Adam Chlipala	2012-07-21
\|
*	Basis.giveFocus	Adam Chlipala	2012-07-21
\|
*	New event records for key and mouse handlers	Adam Chlipala	2012-07-21
\|
*	Support fancy expressions in module-level 'val' declarations	Adam Chlipala	2012-07-18
\|
*	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
\|