debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Update the manual	Adam Chlipala	2009-04-05
\|
*	Spell-check manual	Adam Chlipala	2009-03-12
\|
*	Add guard elim rule	Adam Chlipala	2009-03-12
\|
*	Update compiler phases	Adam Chlipala	2009-03-12
\|
*	Describe AJAX RPC structure	Adam Chlipala	2009-03-12
\|
*	Functional-reactive subsection	Adam Chlipala	2009-03-12
\|
*	Update old Ur/Web library section, before adding new stuff	Adam Chlipala	2009-03-12
\|
*	Describe folders	Adam Chlipala	2009-03-12
\|
*	Revise type inference section	Adam Chlipala	2009-03-12
\|
*	Revise manual, through static semantics	Adam Chlipala	2009-03-12
\|
*	Revise manual, through end of Syntax	Adam Chlipala	2009-03-12
\|
*	Revising manual, through main syntax section	Adam Chlipala	2009-03-12
\|
*	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