debian-urweb - Debian packaging for Ur/Web

	Commit message (Expand)	Author	Age
*	More manual bug reports from megacz	Adam Chlipala	2008-12-24
*	Typo report from megacz	Adam Chlipala	2008-12-20
*	Spell check	Adam Chlipala	2008-12-09
*	Add SQL arithmetic operators	Adam Chlipala	2008-12-09
*	Proofreading pass	Adam Chlipala	2008-12-09
*	Building an application	Adam Chlipala	2008-12-09
*	.urp files	Adam Chlipala	2008-12-09
*	Installation	Adam Chlipala	2008-12-09
*	Intro	Adam Chlipala	2008-12-07
*	The structure of web applications	Adam Chlipala	2008-12-07
*	Compiler phases	Adam Chlipala	2008-12-07
*	XML syntax	Adam Chlipala	2008-12-07
*	DML	Adam Chlipala	2008-12-07
*	Query syntax	Adam Chlipala	2008-12-07
*	XML	Adam Chlipala	2008-12-07
*	Sequences	Adam Chlipala	2008-12-07
*	DML	Adam Chlipala	2008-12-07
*	Finish documenting queries; remove a stray [unit] argument	Adam Chlipala	2008-12-07
*	Start of sql_exp	Adam Chlipala	2008-12-07
*	Start of Ur/Web library	Adam Chlipala	2008-12-06
*	Type inference	Adam Chlipala	2008-12-06
*	Module projection	Adam Chlipala	2008-11-29
*	selfify	Adam Chlipala	2008-11-29
*	Module typing	Adam Chlipala	2008-11-29
*	Signature compatibility	Adam Chlipala	2008-11-29
*	Signature compatibility	Adam Chlipala	2008-11-29
*	Declaration typing	Adam Chlipala	2008-11-29
*	Pattern typing	Adam Chlipala	2008-11-29
*	Typing	Adam Chlipala	2008-11-29
*	Definitional equality	Adam Chlipala	2008-11-29
*	Disjointness	Adam Chlipala	2008-11-29
*	Kinding	Adam Chlipala	2008-11-29
*	Shorthands	Adam Chlipala	2008-11-27
*	Declarations and modules	Adam Chlipala	2008-11-27
*	Expressions	Adam Chlipala	2008-11-27
*	Patterns	Adam Chlipala	2008-11-27
*	Signatures	Adam Chlipala	2008-11-27
*	Start of manual	Adam Chlipala	2008-11-27