debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Trivial use of a source	Adam Chlipala	2008-12-21
\|
*	Handling singnal bind	Adam Chlipala	2008-12-21
\|
*	Switch to using dyn() function in JavaScript	Adam Chlipala	2008-12-21
\|
*	Typo report from megacz	Adam Chlipala	2008-12-20
\|
*	Successfully generated a page element from a signal	Adam Chlipala	2008-12-20
\|
*	Initial <dyn> support	Adam Chlipala	2008-12-20
\|
*	Start of JsComp	Adam Chlipala	2008-12-20
\|
*	Displayed an alert dialog	Adam Chlipala	2008-12-19
\|
*	Creation of sources in server code	Adam Chlipala	2008-12-19
\|
*	Monad type class seems to be working	Adam Chlipala	2008-12-19
\|
*	Initial conversion to arbitrary-kind classes	Adam Chlipala	2008-12-19
\|
*	Add initial C support for reactive	Adam Chlipala	2008-12-19
\|
*	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
\|