debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Make Scriptcheck catch more script/message-passing uses, and move the phase e...	Adam Chlipala	2013-03-15
*	Switch linker order	Adam Chlipala	2012-10-20
*	Edward Z. Yang's patch to avoid repeating linker arguments	Adam Chlipala	2012-09-19
*	Added 'coreInline' and 'monoInline' .urp options	Vladimir Shabanov	2012-09-04
*	New NameJs phase, still needing some debugging	Adam Chlipala	2012-08-02
*	Basis.getenv	Adam Chlipala	2012-08-02
*	Flush elaboration cache when switching between .urp files	Adam Chlipala	2012-06-23
*	Proper error messages for missing source files	Adam Chlipala	2012-05-26
*	New optional suffice for 'rewrite' in .urp files: [-]	Adam Chlipala	2012-05-06
*	Report which files lead to duplicate module names	Adam Chlipala	2012-05-04
*	Add support for -boot flag, which allows in-tree execution of Ur/Web	Edward Z. Yang	2012-05-02
*	Catch duplicate top-level module names; fix dropping of constraints during in...	Adam Chlipala	2012-05-03
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29
*	'linker' .urp directive	Adam Chlipala	2012-04-22
*	Delete C temporary directories, even if other files wind up there	Adam Chlipala	2012-03-13
*	-dumpSource flag; Especialize tweak: may specialize any argument sequence end...	Adam Chlipala	2012-01-12
*	Change linking argument order, based on reported problems in Ubuntu 11.10	Adam Chlipala	2012-01-05
*	Allow .urp libraries to set prefix	Adam Chlipala	2011-12-17
*	timeFormat .urp directive	Adam Chlipala	2011-12-04
*	Yet another fix to previous change	Adam Chlipala	2011-11-20
*	Fix bug in previous change	Adam Chlipala	2011-11-20
*	Don't treat comment-only lines as blank, in determining split point of .urp f...	Adam Chlipala	2011-11-20
*	Better error messages about server-side use of client-side functions	Adam Chlipala	2011-11-14
*	Disable C optimization in debug mode	Adam Chlipala	2011-09-11
*	Compiler frees as much memory as possible before passing control to C compiler	Adam Chlipala	2011-08-15
*	Configure correct C compiler options for Pthreads	Adam Chlipala	2011-08-04
*	Remove some GCC-specific identifier choice and documentation	Adam Chlipala	2011-08-02
*	A few more tweaks to support Clang (including ending use of nested functions)	Adam Chlipala	2011-07-23
*	Stop using -fno-inline by default	Adam Chlipala	2011-07-23
*	For non-debug builds, leave out source location info in what is shown to user	Adam Chlipala	2011-07-03
*	'noXsrfProtection' .urp directive	Adam Chlipala	2011-06-24
*	Fixes to work nicely with OS X and Clang (thanks to Austin Seipp)	Adam Chlipala	2011-06-17
*	Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)	Adam Chlipala	2011-06-15
*	getHeader and setHeader	Adam Chlipala	2011-05-29
*	Change order of linking database libraries to satisfy Cygwin	Adam Chlipala	2011-03-12
*	Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat c...	Adam Chlipala	2011-03-10
*	Use sigFile again; do redirects in a way that is compatible with FastCGI	Adam Chlipala	2011-01-20
*	Patch from Vladimir Shabanov to support crypt under OS X	Adam Chlipala	2011-01-16
*	Use -debug flag properly when compiling in single-source mode	Adam Chlipala	2011-01-15
*	Allow subqueries to reference aggregate-only columns of free tables; treat no...	Adam Chlipala	2011-01-15
*	alwaysInline .urp setting	Adam Chlipala	2011-01-13
*	Detect missing 'database' directive; don't compile garbage C files	Adam Chlipala	2011-01-06
*	Switch from libmhash to OpenSSL	Adam Chlipala	2010-12-26
*	Add an extra Especialize pass before Rpcify	Adam Chlipala	2010-12-24
*	Enforce character constraints on source filenames	Adam Chlipala	2010-12-16
*	Allow use of path variables in strings with no slashes	Adam Chlipala	2010-12-14
*	Better treatment of relative paths in .urp files	Adam Chlipala	2010-12-14
*	Fix merging of prefix settings	Adam Chlipala	2010-12-12
*	-prefix command-line option	Adam Chlipala	2010-12-12