debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
...
\| \| * \| \|	Start of support for surviving database-server restarts, for Postgres	Adam Chlipala	2015-10-17
\| \| \| * \|	Start of support for surviving database-server restarts, for Postgres	Adam Chlipala	2015-10-17
\| \| * \| \|	Make urweb-mode inherit from prog-mode (contributed by Ziv Scully)	Adam Chlipala	2015-10-15
\| \| \| * \|	Make urweb-mode inherit from prog-mode (contributed by Ziv Scully)	Adam Chlipala	2015-10-15
\| \| \| \| *	Make SQL caches use more of the pure caching machinery, but it's brittle.	Ziv Scully	2015-10-15
\| \| \| \| *	Thread state through addCaching more carefully.	Ziv Scully	2015-10-14
\| \| \| \| *	Factor out SQL simplification.	Ziv Scully	2015-10-14
\| \| \| \| *	Do SQL and pure caching in the same pass.	Ziv Scully	2015-10-14
\| \| \| \| *	Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.	Ziv Scully	2015-10-14
\| \| \| \| *	Fix another mismatch between expunger SQL generation and SQL parser.	Ziv Scully	2015-10-13
\| \| \| \| *	Merge bbaren's fix for bug 209.	Ziv Scully	2015-10-13
\| \| \| \| \|\ \| \| \| \| \|/ \| \| \| \|/\|
\| \| \| \| *	Fix recording bugs to do with nesting and buffer reallocation. Stop MonoFooif...	Ziv Scully	2015-10-07
\| \| \| \| *	Fix SQL-parsing and declaration-ordering bugs.	Ziv Scully	2015-09-30
\| \| \| \| *	Begin work on cache merging.	Ziv Scully	2015-09-28
\| \| \| \| *	Fix effectfulness registration toy cache.	Ziv Scully	2015-09-27
\| \| \| \| *	Fix bug where pure caching didn't treat FFI applications as effectful.	Ziv Scully	2015-09-27
\| \| \| \| *	Use referenced (rather than all) free variables as keys for pure caches.	Ziv Scully	2015-09-27
\| \| \| \| *	Pure caching sort of works.	Ziv Scully	2015-09-27
\| \| \| \| *	Use new refactored urlification in Sqlcache.	Ziv Scully	2015-09-21
\| \| \| \| *	Factor out urlification.	Ziv Scully	2015-09-21
\| \| \| \| *	Factor out [Monoize.Fm] to make it accessible to [Sqlcache].	Ziv Scully	2015-09-21
\| \| \| \| *	Revert to revision 2222.	Ziv Scully	2015-09-21
\| \| * \| \|	Use correct OpenSSL thread safety macros on OS X (closes #209)	Benjamin Barenblat	2015-09-20
\| \| \| * \|	Use correct OpenSSL thread safety macros on OS X (closes #209)	Benjamin Barenblat	2015-09-20
\| \| \| \| *	Make Mono.file a record for readability upon extension.	Ziv Scully	2015-09-13
\| \| \| \| *	Start work on pure expression caching.	Ziv Scully	2015-09-13
\| \| \| \| *	Merge.	Ziv Scully	2015-09-12
\| \| \| \| \|\ \| \| \| \| \|/ \| \| \| \|/\|
\| \| * \| \|	Proper error message for excessively fancy FFI signatures	Adam Chlipala	2015-08-27
\| \| \| * \|	Proper error message for excessively fancy FFI signatures	Adam Chlipala	2015-08-27
\| \| * \| \|	Beautify '-h' output for web servers	Adam Chlipala	2015-08-20
\| \| \| * \|	Beautify '-h' output for web servers	Adam Chlipala	2015-08-20
* \| \| \| \|	Release for experimental20150819+dfsg-1	Benjamin Barenblat	2015-08-19
* \| \| \| \|	Update Build-Depends	Benjamin Barenblat	2015-08-19
* \| \| \| \|	Update debian/changelog	Benjamin Barenblat	2015-08-19
* \| \| \| \|	Merge branch 'dfsg_clean'	Benjamin Barenblat	2015-08-19
\|\\| \| \| \|
\| * \| \| \|	Merge branch 'upstream' into dfsg_clean20150819+dfsg	Benjamin Barenblat	2015-08-19
\| \|\ \ \ \
\| \| \| * \| \|	Return to working version mode	Adam Chlipala	2015-08-19
\| \| \|/ / /
\| \| \| * \|	Return to working version mode	Adam Chlipala	2015-08-19
\| \| * \| \|	New release	Adam Chlipala	2015-08-19
\| \| \| * \|	New release	Adam Chlipala	2015-08-19
\| \| \| \| *	Rewrite effectfulness analysis using MonoUtil.	Ziv Scully	2015-08-15
\| \| * \| \|	Add LIKE to the manual	Adam Chlipala	2015-08-15
\| \| \| * \|	Add LIKE to the manual	Adam Chlipala	2015-08-15
\| \| * \| \|	Fix termination bug in tutorial's isEven/isOdd	Adam Chlipala	2015-08-09
\| \| \| * \|	Fix termination bug in tutorial's isEven/isOdd	Adam Chlipala	2015-08-09
\| \| * \| \|	Add '-noEmacs' for 'make test'	Adam Chlipala	2015-08-06
\| \| \| * \|	Add '-noEmacs' for 'make test'	Adam Chlipala	2015-08-06
\| \| * \| \|	Make OpenSSL usage thread-safe (closes #206)	Benjamin Barenblat	2015-08-06
\| \| \| * \|	Make OpenSSL usage thread-safe (closes #206)	Benjamin Barenblat	2015-08-06
\| \| * \| \|	Change 'make test' to work before 'make install'	Adam Chlipala	2015-08-06