debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
...
*	A fancier test for the new SQL constraints subtyping	Adam Chlipala	2013-11-04
*	Interpret 'table' signature items more flexibly, automatically adding (Ur) co...	Adam Chlipala	2013-11-04
*	Rename ListPair.map2 to ListPair.mp	Adam Chlipala	2013-11-04
*	ListPair.map2, based on code by escalier@riseup.net	Adam Chlipala	2013-11-03
*	Save disjointness environments across top-level declarations	Adam Chlipala	2013-10-17
*	Change Pthread thread creation logic to avoid Cygwin limitations with setting...	Adam Chlipala	2013-10-14
*	New header file scheme to support FFI code in either of C or C++ [based on su...	Adam Chlipala	2013-10-11
*	Remove uw_cutErrorLocation() hijinks	Adam Chlipala	2013-10-10
*	Remove debug prints	Adam Chlipala	2013-10-10
*	Make transactional FFI functions effectful by default	Adam Chlipala	2013-10-10
*	Take proper account of signatures changing during page generation	Adam Chlipala	2013-10-10
*	Add <dl> <dt> <dd> tags	Sergey Mironov	2013-10-07
*	Manual entries for -ccompiler and -print-ccompiler	Adam Chlipala	2013-10-10
*	Add xhead type	Sergey Mironov	2013-10-07
*	Add <em> and <strong> tags	Sergey Mironov	2013-10-07
*	Add -print-ccompiler command line option	Sergey Mironov	2013-09-18
*	Add -ccompiler command line argument	Sergey Mironov	2013-08-20
*	Add monoize case for 'dml' type	Adam Chlipala	2013-10-01
*	Detect more SQL uses without 'database' directive	Adam Chlipala	2013-09-30
*	Get -root working properly again	Adam Chlipala	2013-09-26
*	Tweak Sergey's patch to work with Postgres	Adam Chlipala	2013-09-13
*	Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.	Sergey Mironov	2013-09-13
*	Potentially exponential search through where to head-normalize in [decompileCon]	Adam Chlipala	2013-08-19
*	Allow [where con] to descend within submodule structure; open submodule const...	Adam Chlipala	2013-08-19
*	Expand coverage of 'functionInside' for Especialize	Adam Chlipala	2013-08-10
*	Add 'rel' attribute to <a>	Adam Chlipala	2013-08-09
*	Extend Especialize rule: find maximal argument prefixes that end in 1 or more...	Adam Chlipala	2013-08-09
*	Make that error message even more helpful	Adam Chlipala	2013-07-17
*	Make that new error message text a bit more accurate	Adam Chlipala	2013-07-17
*	Tweak error message about naughty GET handlers	Adam Chlipala	2013-07-17
*	Postgres unicode printing fix from Artyom Shalkhakov	Adam Chlipala	2013-07-17
*	Add Sigcheck phase to avoid issues with signatures in global initializers	Adam Chlipala	2013-06-15
*	Undo 'let' inlining tweak; improve optimization of 'case' of type 'transaction'	Adam Chlipala	2013-06-07
*	Tweak to 'let' inlining behavior	Adam Chlipala	2013-06-02
*	Return to working version mode	Adam Chlipala	2013-04-21
*	Get Iflow working again	Adam Chlipala	2013-04-21
*	New release	Adam Chlipala	2013-04-21
*	Plugging some gaps in the manual	Adam Chlipala	2013-04-21
*	Get -css flag working again	Adam Chlipala	2013-04-16
*	Basis.tryRpc	Adam Chlipala	2013-04-16
*	Change Name_js to skip code snippets that depend on the CSRF-protection signa...	Adam Chlipala	2013-04-01
*	Attempt to get more static linking for OpenSSL	Adam Chlipala	2013-03-19
*	Make Scriptcheck catch more script/message-passing uses, and move the phase e...	Adam Chlipala	2013-03-15
*	Manual: Reveal JavaScript representation of transaction type family	Adam Chlipala	2013-03-12
*	Make CGI programs use Status header to set HTTP status code	Adam Chlipala	2013-03-05
*	Add MLTONARGS to xml/parse	Jason Gross	2013-01-05
*	Add more HTML singleton tags, anticipating that others may make them availabl...	Adam Chlipala	2012-12-31
*	Add some name-mangling rules to allow XML attribute 'name' and attributes wit...	Adam Chlipala	2012-12-27
*	Fix determination of MySQL timestamp hour fields (may still be wrong once DST...	Adam Chlipala	2012-12-13
*	Autogenerate some files	Adam Chlipala	2012-12-12