debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Merge.	Ziv Scully	2015-07-19
\|\
\| *	Allow URIs specified in file directives implicitly	Julian Squires	2015-04-24
* \|	Merge.	Ziv Scully	2015-03-27
\|\\|
\| *	Fix resolution of 'file' paths	Adam Chlipala	2015-02-10
\| *	Broaden handling of wildcard rewrites	Adam Chlipala	2014-12-24
* \|	Complete overhaul: cache queries based on immediate query result, not eventua...	Ziv Scully	2014-10-14
* \|	Merge.	Ziv Scully	2014-09-13
\|\\|
\| *	In computing command lines, put filenames inside of quotes, to support spaces...	Adam Chlipala	2014-09-04
\| *	New phase: Dbmodecheck	Adam Chlipala	2014-08-17
\| *	New .urp directive: file	Adam Chlipala	2014-07-31
* \|	Cleans up interface (it's now a command line option) and renames project to "...	Ziv Scully	2014-05-31
* \|	Removes DBMS choice override from compiler.sml (which was there for debugging).	Ziv Scully	2014-05-30
* \|	Merge.	Ziv Scully	2014-05-27
\|\\|
* \|	Finishes initial prototype, caching parameterless pages with table-match-base...	Ziv Scully	2014-05-27
\| *	New lessSafeFfi	Adam Chlipala	2014-05-02
* \|	ML half of initial prototype. (Doesn't compile because there's no C yet.)	Ziv Scully	2014-03-25
* \|	Identifies tables read or touched by queries.	Ziv Scully	2014-03-08
\|/
*	neverInline	Adam Chlipala	2014-02-09
*	New compiler option: -stop	Adam Chlipala	2014-01-19
*	Add 'html5' .urp directive	Adam Chlipala	2014-01-09
*	noMangleSql .urp directive	Adam Chlipala	2014-01-04
*	compileC: Link libraries in the right order	Anders Kaseorg	2013-11-21
*	Add -ccompiler command line argument	Sergey Mironov	2013-08-20
*	Get -root working properly again	Adam Chlipala	2013-09-26
*	Add Sigcheck phase to avoid issues with signatures in global initializers	Adam Chlipala	2013-06-15
*	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
*	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