Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Good progress on highlighting embedded XML | 2008-10-12 | ||
* | Highlighting HTML tags | 2008-10-12 | ||
* | Basis indents and type-checks with new twiddle syntax | 2008-10-12 | ||
* | More indenting | 2008-10-12 | ||
* | Get type definitions font-locking again | 2008-10-12 | ||
* | Customized font faces | 2008-10-12 | ||
* | First sort-of-working run of urweb-mode | 2008-10-12 |