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
*
Improve detection of XML in urweb-mode; small tutorial improvement
Adam Chlipala
2011-08-02
*
Backpedal on tutorial-motivated urweb-mode changes; add Basis.diffInSeconds a...
Adam Chlipala
2011-07-22
*
First tutorial chapter ready
Adam Chlipala
2011-07-16
*
Tutorial tweaks
Adam Chlipala
2011-07-15
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Better record summary error messages; more tweaking SQL usability
Adam Chlipala
2009-12-13
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
*
Fix relative precedence of ; and case-stuff
Adam Chlipala
2009-06-02
*
A view query works
Adam Chlipala
2009-04-28
*
INNER JOIN
Adam Chlipala
2009-04-28
*
style declarations
Adam Chlipala
2009-04-12
*
CHECK constraints
Adam Chlipala
2009-04-09
*
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...
Adam Chlipala
2009-04-07
*
Add primary keys to demo
Adam Chlipala
2009-04-07
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
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