index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
elisp
Commit message (
Expand
)
Author
Age
*
Cookies through elaborate
Adam Chlipala
2008-11-06
*
Parsing 'let'
Adam Chlipala
2008-11-01
*
sml-util -> urweb-util
Adam Chlipala
2008-10-23
*
Fix XML indenting to ignore comparison operators
Adam Chlipala
2008-10-21
*
Fix XML detection in presence of comparison operators
Adam Chlipala
2008-10-21
*
Fix a nasty indent bug, found while working on listFun
Adam Chlipala
2008-10-19
*
Fixing overzealous SQL paren-nester
Adam Chlipala
2008-10-16
*
Indenting paren-nested SQL expressions
Adam Chlipala
2008-10-16
*
Indenting simple DML properly
Adam Chlipala
2008-10-16
*
Indenting SELECT sub-clauses properly
Adam Chlipala
2008-10-16
*
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
*
Improving indentation of XML after antiquote
Adam Chlipala
2008-10-16
*
Proper indenting of normal ML-y code after </xml>
Adam Chlipala
2008-10-16
*
Special case indenting for <xml>...</xml>
Adam Chlipala
2008-10-16
*
Fix XML indent not to take two tab-tries
Adam Chlipala
2008-10-16
*
Reasonable indenting for pure XML
Adam Chlipala
2008-10-16
*
Reusable column handlers for Crud
Adam Chlipala
2008-10-14
*
Syntax highlighting for embedded XML
Adam Chlipala
2008-10-14
*
Reorder font-lock rules to deal better with CDATA
Adam Chlipala
2008-10-13
*
Good progress on highlighting embedded XML
Adam Chlipala
2008-10-12
*
Highlighting HTML tags
Adam Chlipala
2008-10-12
*
Basis indents and type-checks with new twiddle syntax
Adam Chlipala
2008-10-12
*
More indenting
Adam Chlipala
2008-10-12
*
Get type definitions font-locking again
Adam Chlipala
2008-10-12
*
Customized font faces
Adam Chlipala
2008-10-12
*
First sort-of-working run of urweb-mode
Adam Chlipala
2008-10-12