Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 |
![]() |
index : debian-urweb | |
Debian packaging for Ur/Web |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 |