debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	'urweb daemon start' and 'urweb daemon stop'	Adam Chlipala	2012-04-29
\|
*	Initial support for reusing elaboration results	Adam Chlipala	2012-04-29
\|
*	-unifyMore	Adam Chlipala	2012-04-22
\|
*	'-dumpTypes'	Adam Chlipala	2011-08-07
\|
*	Expose resolveClass from Elaborate	Adam Chlipala	2009-05-31
\|
*	Crud listing IDs	Adam Chlipala	2008-09-11
\|
*	Separate compilation and automatic basis importation	Adam Chlipala	2008-06-22
\|
*	Simple signature matching	Adam Chlipala	2008-06-12
\|
*	Elaborating files	Adam Chlipala	2008-01-26
\|
*	Rename Laconic* modules to Source*	Adam Chlipala	2008-01-26
\|
*	Start of elaboration	Adam Chlipala	2008-01-26