debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	lform -> form	Adam Chlipala	2008-10-14
\|
*	Syntax highlighting for embedded XML	Adam Chlipala	2008-10-14
\|
*	Basis and Top syntax-highlight, indent, parse, and type-check	Adam Chlipala	2008-10-12
\|
*	Basis indents and type-checks with new twiddle syntax	Adam Chlipala	2008-10-12
\|
*	Merge CDisjoint and TDisjoint	Adam Chlipala	2008-10-04
\|
*	Crud completed	Adam Chlipala	2008-09-14
\|
*	Crud update form	Adam Chlipala	2008-09-14
\|
*	Crud supports INSERT	Adam Chlipala	2008-09-14
\|
*	SQL sequences	Adam Chlipala	2008-09-14
\|
*	foldTR2	Adam Chlipala	2008-09-13
\|
*	Crud listing IDs	Adam Chlipala	2008-09-11
\|
*	Automatically add table annotations in UPDATE and DELETE	Adam Chlipala	2008-09-07
\|
*	Scratch that change....	Adam Chlipala	2008-09-07
\|
*	Remove need to mention table name in expressions for UPDATE and DELETE	Adam Chlipala	2008-09-07
\|
*	Parsing DELETE	Adam Chlipala	2008-09-07
\|
*	Parsing UPDATE	Adam Chlipala	2008-09-07
\|
*	Parsing INSERT	Adam Chlipala	2008-09-07
\|
*	Elaborated 'update'	Adam Chlipala	2008-09-07
\|
*	Elaborated 'insert'	Adam Chlipala	2008-09-07
\|
*	Monoize ASC/DESC	Adam Chlipala	2008-08-31
\|
*	Add 'ne' to 'eq' type class	Adam Chlipala	2008-08-31
\|
*	'eq' type class	Adam Chlipala	2008-08-31
\|
*	Laconic -> Ur	Adam Chlipala	2008-08-31