debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Update Coq semantics for 8.3pl2	Adam Chlipala	2011-11-30
\|
*	Support the full set of XHTML character entities	Adam Chlipala	2011-11-05
\|
*	Turn off warnings about deprecated functions, to placate silly OpenSSL ↵	Adam Chlipala	2011-10-26
\| \| \| \|	change for OS X
*	Generated pretty-printed HTML for a simple tutorial source file	Adam Chlipala	2011-07-15
\|
*	Include config.h.in in distribution	Adam Chlipala	2010-05-29
\|
*	Support HTTP caching of app.js	Adam Chlipala	2010-05-23
\|
*	More fixes for NetBSD support	Adam Chlipala	2010-02-06
\|
*	Another try to include more Autofiles in the distribution	Adam Chlipala	2010-01-30
\|
*	First attempt to switch to Automake, to get shared libraries built in OSX	Adam Chlipala	2010-01-28
\|
*	Using libtool to build and install liburweb*	Adam Chlipala	2010-01-26
\|
*	Dynamic linking of the runtime system	Adam Chlipala	2009-12-27
\|
*	Start 'more' demo with dbgrid	Adam Chlipala	2009-09-08
\|
*	C FFI compiler options	Adam Chlipala	2009-04-30
\|
*	Start of Featherweight Ur semantics	Adam Chlipala	2009-02-17
\|
*	Module projection	Adam Chlipala	2008-11-29
\|
*	Start of manual	Adam Chlipala	2008-11-27
\|
*	Profiling in Makefile	Adam Chlipala	2008-11-25
\|
*	Transactions seem to be working	Adam Chlipala	2008-10-24
\|
*	Building combined demo app	Adam Chlipala	2008-10-19
\|
*	Demo HTML generation, minus source code	Adam Chlipala	2008-10-19
\|
*	Proper configuration and installation	Adam Chlipala	2008-10-19
\|
*	Laconic -> Ur	Adam Chlipala	2008-08-31
\|
*	Writing HTML	Adam Chlipala	2008-07-10
\|
*	Initial parsing and pretty-printing	Adam Chlipala	2008-01-26
\|
*	Initial skeleton	Adam Chlipala	2008-01-26