debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Fix relative precedence of ; and case-stuff	Adam Chlipala	2009-06-02
\|
*	Fix XML indenting to ignore comparison operators	Adam Chlipala	2008-10-21
\|
*	Crud auto-indented correctly	Adam Chlipala	2008-10-16
\|
*	Fix problem with sig/struct indenting	Adam Chlipala	2008-10-16
\|
*	Crud indented properly, except for <xml>...</xml> outside parens and sig/struct	Adam Chlipala	2008-10-16
\|
*	Removed handling of <,> as operators, for now	Adam Chlipala	2008-10-16
\|
*	Basis indents and type-checks with new twiddle syntax	Adam Chlipala	2008-10-12
\|
*	More indenting	Adam Chlipala	2008-10-12
\|
*	First sort-of-working run of urweb-mode	Adam Chlipala	2008-10-12