debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Make Effectize more precise	Adam Chlipala	2009-05-05
\|
*	crud3 demo	Adam Chlipala	2009-05-03
\|
*	subforms demo	Adam Chlipala	2009-05-03
\|
*	cookieSec demo	Adam Chlipala	2009-05-03
\|
*	view demo	Adam Chlipala	2009-05-03
\|
*	outer demo	Adam Chlipala	2009-05-03
\|
*	upload demo	Adam Chlipala	2009-05-03
\|
*	css demo	Adam Chlipala	2009-05-03
\|
*	url demo	Adam Chlipala	2009-05-03
\|
*	constraints demo	Adam Chlipala	2009-05-03
\|
*	Subforms	Adam Chlipala	2009-04-28
\|
*	Cookie signing working for forms	Adam Chlipala	2009-04-16
\|
*	Add more buttons to demo, to avoid effectful GET	Adam Chlipala	2009-04-16
\|
*	Effectness analysis	Adam Chlipala	2009-04-16
\|
*	Simplify type class requirement for tree demo	Adam Chlipala	2009-04-13
\|
*	Stop tracking CSS classes in XML types	Adam Chlipala	2009-04-12
\|
*	hello compiles with CSS	Adam Chlipala	2009-04-12
\|
*	Use FOREIGN KEY in Tree demo	Adam Chlipala	2009-04-09
\|
*	FOREIGN KEY, without ability to link NULL to NOT NULL (and with some ↵	Adam Chlipala	2009-04-07
\| \| \| \|	lingering problems in row inference)
*	Add primary keys to demo	Adam Chlipala	2009-04-07
\|
*	Enhance table sig item support and get demo compiling again	Adam Chlipala	2009-04-07
\|
*	Chat demo	Adam Chlipala	2009-04-05
\|
*	RoundTrip demo	Adam Chlipala	2009-04-05
\|
*	Threads demo	Adam Chlipala	2009-04-05
\|
*	Noisy demo	Adam Chlipala	2009-03-10
\|
*	BatchG demo	Adam Chlipala	2009-03-10
\|
*	Batch example	Adam Chlipala	2009-03-10
\|
*	Increment demo	Adam Chlipala	2009-03-10
\|
*	Prose for ListEdit	Adam Chlipala	2009-03-10
\|
*	ListEdit demo, minus prose	Adam Chlipala	2009-03-10
\|
*	React demo	Adam Chlipala	2009-03-10
\|
*	Alert demo	Adam Chlipala	2009-03-10
\|
*	Avoid any JavaScript when pages don't need it; update demo prose	Adam Chlipala	2009-03-10
\|
*	Kind-polymorphic [fst] and friends	Adam Chlipala	2009-02-26
\|
*	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
\|