debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Fix soundness bug in Effectize, where it missed some functions that might ↵	Adam Chlipala	2010-12-23
\| \| \| \|	have effectful RPCs
*	[De]serialization of times in JavaScript; proper integer division in ↵	Adam Chlipala	2010-12-23
\| \| \| \|	JavaScript; Basis.crypt; Top.mkRead'; more aggressive Mono-level inlining, for values of function-y types
*	Recursive record unification errors, for more detail	Adam Chlipala	2010-12-23
\|
*	Basis.cdataChar	Adam Chlipala	2010-12-21
\|
*	Allow SQL aggregation over nullable types	Adam Chlipala	2010-12-21
\|
*	More detail on Especialize in the manual	Adam Chlipala	2010-12-21
\|
*	Hopeful fix to stop Especialize infinite looping	Adam Chlipala	2010-12-21
\|
*	Fix manual mistake about '@' notations; remove obsolete demos	Adam Chlipala	2010-12-20
\|
*	Remove redundant macro	Adam Chlipala	2010-12-20
\|
*	Use proper string time format for SQLite	Adam Chlipala	2010-12-20
\|
*	Implement constrained type kinding properly; bump mono inline threshhold	Adam Chlipala	2010-12-20
\|
*	Fix manual discussion of tuple syntax	Adam Chlipala	2010-12-20
\|
*	Periodic tasks	Adam Chlipala	2010-12-18
\|
*	Change tasks to support parametric code; add clientLeaves	Adam Chlipala	2010-12-18
\|
*	postBody type	Adam Chlipala	2010-12-18
\|
*	Restore behavior of not complaining about undetermined unification variables ↵	Adam Chlipala	2010-12-16
\| \| \| \|	when there are other errors
*	Fiddly tweaks	Adam Chlipala	2010-12-16
\|
*	Clarify that you aren't supposed to be able to create new XML tags	Adam Chlipala	2010-12-16
\|
*	Enforce character constraints on source filenames	Adam Chlipala	2010-12-16
\|
*	Small tweaks to update demos for record unification change	Adam Chlipala	2010-12-15
\|
*	Smarter record unification	Adam Chlipala	2010-12-15
\|
*	Allow use of path variables in strings with no slashes	Adam Chlipala	2010-12-14
\|
*	Bump year on LICENSE	Adam Chlipala	2010-12-14
\|
*	Better treatment of relative paths in .urp files	Adam Chlipala	2010-12-14
\|
*	Moving Incl and Mem to Meta library	Adam Chlipala	2010-12-14
\|
*	Fix merging of prefix settings	Adam Chlipala	2010-12-12
\|
*	-prefix command-line option	Adam Chlipala	2010-12-12
\|
*	Change Basis.debug to use the protocol's debug function	Adam Chlipala	2010-12-12
\|
*	Warn about XHTML looseness	Adam Chlipala	2010-12-11
\|
*	minHeap option in .urp files	Adam Chlipala	2010-12-11
\|
*	Comments in .urp files	Adam Chlipala	2010-12-11
\|
*	fix small memory leaks	Marc Weber	2010-12-05
\|
*	Clarifying some C FFI details in manual	Adam Chlipala	2010-12-11
\|
*	Update manual to track uw_register_transactional() change	Adam Chlipala	2010-12-04
\|
*	New argument to transactional free functions, to specify whether we are ↵	Adam Chlipala	2010-12-04
\| \| \| \|	about to retry
*	Instantiate any Unit unification variables that remain after elaboration	Adam Chlipala	2010-12-02
\|
*	More hnorm during type class resolution	Adam Chlipala	2010-12-02
\|
*	More accurate/conservative leaky type detection in CjrPrint	Adam Chlipala	2010-11-28
\|
*	Fix JavaScript unit unurlification; URL blessing client-side	Adam Chlipala	2010-11-26
\|
*	Fix a bug in C list unurlification	Adam Chlipala	2010-11-21
\|
*	queryL1 and List.sort	Adam Chlipala	2010-11-20
\|
*	In FastCGI, signal 304 with a header, not the usual HTTP/1.1 line	Adam Chlipala	2010-11-20
\|
*	Fix RPC deserialization of channels	Adam Chlipala	2010-11-19
\|
*	Simplify Basis.strcat calls in MonoOpt	Adam Chlipala	2010-11-19
\|
*	Karn Kallio's patch for static mhash linking	Adam Chlipala	2010-11-18
\|
*	More hnormKind for isUnitCon	Adam Chlipala	2010-11-13
\|
*	New release	Adam Chlipala	2010-11-02
\|
*	Fixes for nasty bugs in Reduce and Especialize	Adam Chlipala	2010-10-19
\|
*	Monad.appR3	Adam Chlipala	2010-10-19
\|
*	Monad.appR	Adam Chlipala	2010-10-19
\|