| Commit message (Expand) | 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 |
 |
index : debian-urweb | |
| Debian packaging for Ur/Web |
| summaryrefslogtreecommitdiff |