debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Prepare to release	Adam Chlipala	2008-12-09
\|
*	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
\|
*	Treat user-provided error messages as XML	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
\|
*	Note optimizations in changelog	Adam Chlipala	2008-11-27
\|
*	Avoid Especializing polymorphic code	Adam Chlipala	2008-11-27
\|
*	Ditch use of ElabEnv.env in Especialize, to realize big speed-up	Adam Chlipala	2008-11-27
\|
*	Untangle and shake within Especialize loop	Adam Chlipala	2008-11-27
\|
*	Optimize CoreUntangle	Adam Chlipala	2008-11-27
\|
*	Remove some isUnitCon cases	Adam Chlipala	2008-11-27
\|
*	Catch another unneeded lift in ElabEnv.pushCRel	Adam Chlipala	2008-11-27
\|
*	Optimized ElabOps.subConInCon	Adam Chlipala	2008-11-27
\|
*	Stop using redundant Defunc pass	Adam Chlipala	2008-11-27
\|
*	Remove unnecessary lifts in ElabEnv.pushCRel	Adam Chlipala	2008-11-27
\|
*	Remove unnecessary [kindof] calls	Adam Chlipala	2008-11-27
\|
*	Port Reduce improvements to ReduceLocal	Adam Chlipala	2008-11-26
\|