debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Folder generation for functors	Adam Chlipala	2009-02-24
\|
*	Folder generation for functions	Adam Chlipala	2009-02-24
\|
*	Demos compile again, with manual folders	Adam Chlipala	2009-02-24
\|
*	Make folders abstract	Adam Chlipala	2009-02-24
\|
*	demo/sum working with manual folders	Adam Chlipala	2009-02-22
\|
*	Debug reverse-engineering unification	Adam Chlipala	2009-02-21
\|
*	Start of RPCification	Adam Chlipala	2009-02-14
\|
*	Fixing demo prose	Adam Chlipala	2008-11-20
\|
*	Some demo improvements	Adam Chlipala	2008-11-20
\|
*	Update Crud demo to use local functions	Adam Chlipala	2008-11-20
\|
*	Extend prose about server .exes	Adam Chlipala	2008-11-18
\|
*	Tree demo working (and other assorted regressions fixed)	Adam Chlipala	2008-11-06
\|
*	Tree demo works	Adam Chlipala	2008-11-06
\|
*	About to begin optimization of recursive transaction functions	Adam Chlipala	2008-11-06
\|
*	Cookie prose; fix bugs that broke demo compilation	Adam Chlipala	2008-11-06
\|
*	Cookie demo code; fix error message display	Adam Chlipala	2008-11-06
\|
*	Nested demo	Adam Chlipala	2008-11-04
\|
*	Remove need for '() <-' notation	Adam Chlipala	2008-10-27
\|
*	Properly freeing libpq results on errors	Adam Chlipala	2008-10-24
\|
*	Crud2 demo	Adam Chlipala	2008-10-23
\|
*	Crud demo	Adam Chlipala	2008-10-23
\|
*	Prose for Ref and Metaform	Adam Chlipala	2008-10-23
\|
*	Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵	Adam Chlipala	2008-10-23
\| \| \| \|	prose
*	Metaform demos, minus prose	Adam Chlipala	2008-10-23
\|
*	Fix nasty de Bruijn substitution bug; TcSum demo	Adam Chlipala	2008-10-23
\|
*	Counter demo	Adam Chlipala	2008-10-23
\|
*	Sum prose	Adam Chlipala	2008-10-21
\|
*	Infering sum rows	Adam Chlipala	2008-10-21
\|
*	Sum demo, minus inference of {Unit}s	Adam Chlipala	2008-10-21
\|
*	Sql demo	Adam Chlipala	2008-10-21
\|
*	Note about demo.sql	Adam Chlipala	2008-10-21
\|
*	ListShop prose	Adam Chlipala	2008-10-21
\|
*	Rec demo	Adam Chlipala	2008-10-21
\|
*	Form example	Adam Chlipala	2008-10-21
\|
*	Hello prose	Adam Chlipala	2008-10-21
\|
*	Intro prose	Adam Chlipala	2008-10-21
\|
*	New implicit argument handling	Adam Chlipala	2008-10-21
\|
*	Fix a nasty driver bug, involving memory restarts and marked-up request strings	Adam Chlipala	2008-10-21
\|
*	listFun uses length	Adam Chlipala	2008-10-21
\|
*	Simple listShop working	Adam Chlipala	2008-10-21
\|
*	ListShop skeleton	Adam Chlipala	2008-10-21
\|
*	Fix a nasty indent bug, found while working on listFun	Adam Chlipala	2008-10-19
\|
*	Demo HTML generation, minus source code	Adam Chlipala	2008-10-19
\|
*	Link demo	Adam Chlipala	2008-10-19
\|
*	Proper configuration and installation	Adam Chlipala	2008-10-19