debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	Integrated getInfo into LSP	Simon Van Casteren	2019-12-13
*	Added initial version of lsp	Simon Van Casteren	2019-12-13
*	Merge remote-tracking branch 'origin/master' into typeOf	Simon Van Casteren	2019-12-13
\|\
\| *	urweb daemon restart	Adam Chlipala	2019-08-30
\| *	Smooth rough edges of daemon command-line behavior	Adam Chlipala	2019-08-30
* \|	Added comments and extracted typeOf/getInfo into seperate module	FrigoEU	2019-08-03
* \|	Removed some unnecessary prints	FrigoEU	2019-08-03
* \|	first iteration of "typeOf" command	FrigoEU	2019-07-31
* \|	Don't use interfaces anymore for ModDb validity, but check for undetermined u...	FrigoEU	2019-07-29
\|/
*	Including app.js in output of endpoints	Artyom Shalkhakov	2019-01-12
*	-endpoints switch to view all endpoints defined in JSON format	Artyom Shalkhakov	2019-01-07
*	Add missing flag descriptions to urweb -h	Davor Ocelic	2018-12-30
*	Accept a few other command-line arguments to trigger help text (closes #63)	Adam Chlipala	2018-10-19
*	Small tweaks to new help text	Adam Chlipala	2017-10-01
*	new flag -help, and refactoring of flag parsing.	Peter Bock	2017-09-29
*	Adding support for emitting JS to a given file.	Artyom Shalkhakov	2017-03-07
*	HTTP Last-Modified: latest modtime of source files	Jacob Mitchell	2016-09-07
*	Change some vector operations to remain compatible with MLton working version	Adam Chlipala	2016-05-29
*	Untagle boot and static flags	Eran Meir	2016-01-02
*	Merge Sqlcache	Adam Chlipala	2015-12-20
\|\
* \|	Make daemon mode support sharing of libraries across projects	Adam Chlipala	2015-11-22
\| *	Tweak cache consolidation and choose better default.	Ziv Scully	2015-11-20
\| *	Add consolidation heuristic options.	Ziv Scully	2015-11-19
\| *	Mostly finish effectfulness analysis.	Ziv Scully	2014-10-31
\| *	Cleans up interface (it's now a command line option) and renames project to "...	Ziv Scully	2014-05-31
\|/
*	-explainEmbed	Adam Chlipala	2014-03-17
*	Some more nested functor bug-fixing, including generating fresh internal name...	Adam Chlipala	2014-02-20
*	New compiler option: -stop	Adam Chlipala	2014-01-19
*	Small reformatting and documentation for '-print-cinclude'	Adam Chlipala	2013-12-06
*	Add -print-cinlude command line option	Sergey Mironov	2013-11-06
*	Add -print-ccompiler command line option	Sergey Mironov	2013-09-18
*	Add -ccompiler command line argument	Sergey Mironov	2013-08-20
*	Fix broken implementation of 'urweb daemon stop'	Austin Seipp	2012-11-28
*	Add list of files to new error message	Adam Chlipala	2012-08-18
*	Better error message for funky command lines	Adam Chlipala	2012-08-18
*	-dumpTypesOnError	Adam Chlipala	2012-05-05
*	Send daemon output to calling process	Adam Chlipala	2012-05-05
*	Add support for -boot flag, which allows in-tree execution of Ur/Web	Edward Z. Yang	2012-05-02
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
*	-unifyMore	Adam Chlipala	2012-04-22
*	-dumpSource flag; Especialize tweak: may specialize any argument sequence end...	Adam Chlipala	2012-01-12
*	Compiler frees as much memory as possible before passing control to C compiler	Adam Chlipala	2011-08-15
*	'-dumpTypes'	Adam Chlipala	2011-08-07
*	Tracking and printing of version numbers (based on a patch by Austin Seipp)	Adam Chlipala	2011-08-02
*	Generated pretty-printed HTML for a simple tutorial source file	Adam Chlipala	2011-07-15
*	-prefix command-line option	Adam Chlipala	2010-12-12
*	Interface for setting memory limits	Adam Chlipala	2010-10-14
*	Demo improvements	Adam Chlipala	2010-09-30
*	-moduleOf command-line option; compatibility fixes and better error messages ...	Adam Chlipala	2010-05-27
*	Command-line use of Iflow	Adam Chlipala	2010-04-13