debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Proper C pretty-printing of floats in scientific notation	Adam Chlipala	2011-05-31
\|
*	Fix bug with string literals in unAs	Adam Chlipala	2011-05-30
\|
*	Remember to remove explicit table projections in SQLite UPDATE SET values	Adam Chlipala	2011-05-30
\|
*	getHeader and setHeader	Adam Chlipala	2011-05-29
\|
*	Properly handle form textboxes that have sources	Adam Chlipala	2011-05-29
\|
*	Escape less-than in JavaScript strings	Adam Chlipala	2011-05-12
\|
*	Warn that tests ought not to be used	Adam Chlipala	2011-04-17
\|
*	Send newly created sources with messages to clients	Adam Chlipala	2011-04-09
\|
*	Each context gets its own non-repeating sequence of source numbers	Adam Chlipala	2011-04-09
\|
*	Fix MySQL time handling	Adam Chlipala	2011-03-27
\|
*	Fix some cookie-related bugs in MonoReduce	Adam Chlipala	2011-02-10
\|
*	Fix for handling of some attributes to client-side input widgets, based on a ↵	Adam Chlipala	2011-01-16
\| \| \| \|	patch from Vladimir Shabanov
*	Patch from Vladimir Shabanov to support crypt under OS X	Adam Chlipala	2011-01-16
\|
*	Hopeful fix to stop Especialize infinite looping	Adam Chlipala	2010-12-21
\|
*	Use proper string time format for SQLite	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
\|
*	Change Basis.debug to use the protocol's debug function	Adam Chlipala	2010-12-12
\|
*	minHeap option in .urp files	Adam Chlipala	2010-12-11
\|
*	Comments in .urp files	Adam Chlipala	2010-12-11
\|
*	New argument to transactional free functions, to specify whether we are ↵	Adam Chlipala	2010-12-04
\| \| \| \|	about to retry
*	-limit for running time	Adam Chlipala	2010-10-14
\|
*	Interface for setting memory limits	Adam Chlipala	2010-10-14
\|
*	Hopeful fix for the Great Unification Bug	Adam Chlipala	2010-10-10
\|
*	Flex kinds for type-level tuples; ::_ notation	Adam Chlipala	2010-10-10
\|
*	Shortcut invocations for single .ur files	Adam Chlipala	2010-09-07
\|
*	'tryDml' works with Postgres	Adam Chlipala	2010-09-07
\|
*	Server-side 'onError'	Adam Chlipala	2010-09-07
\|
*	tryDml	Adam Chlipala	2010-09-05
\|
*	Support multiple CSS classes for a single tag	Adam Chlipala	2010-09-05
\|
*	Polymorphic variants	Adam Chlipala	2010-08-19
\|
*	HTML comments	Adam Chlipala	2010-08-10
\|
*	ML-style comments inside XML	Adam Chlipala	2010-08-10
\|
*	Roll back WHERE checking	Adam Chlipala	2010-07-27
\|
*	Initial version of equalKnown working for secret	Adam Chlipala	2010-07-27
\|
*	Consider view declarations while shaking	Adam Chlipala	2010-05-27
\|
*	Fix bug in module path generation with module roots; push wildification ↵	Adam Chlipala	2010-05-27
\| \| \| \|	through substructures
*	URL-escape with '.' instead of '%', to avoid confusing proxies	Adam Chlipala	2010-05-18
\|
*	Completely redid main Iflow logic; so far, policy and policy2 work	Adam Chlipala	2010-04-13
\|
*	Using multiple policies to check a written value	Adam Chlipala	2010-04-11
\|
*	Change query_policy to sendClient; all arguments passed to SQL predicates ↵	Adam Chlipala	2010-04-08
\| \| \| \|	are variables
*	Parsing more comparison operators	Adam Chlipala	2010-04-06
\|
*	Parsing float and string SQL literals	Adam Chlipala	2010-04-06
\|
*	Introduced the known() predicate	Adam Chlipala	2010-04-06
\|
*	Parsing more of WHERE	Adam Chlipala	2010-04-04
\|
*	WHERE-dependent checking	Adam Chlipala	2010-04-04
\|
*	Parsed a WHERE clause	Adam Chlipala	2010-04-04
\|
*	Relax checking of table implications	Adam Chlipala	2010-04-04
\|
*	Iflow tested with positive and negative cases	Adam Chlipala	2010-04-04
\|