index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Fix a nasty indent bug, found while working on listFun
Adam Chlipala
2008-10-19
*
Support for URL prefixes that works with local demo
Adam Chlipala
2008-10-19
*
Building combined demo app
Adam Chlipala
2008-10-19
*
Small demo prettifications
Adam Chlipala
2008-10-19
*
Generating fontified source files
Adam Chlipala
2008-10-19
*
Generating urp HTML
Adam Chlipala
2008-10-19
*
Demo HTML generation, minus source code
Adam Chlipala
2008-10-19
*
Link demo
Adam Chlipala
2008-10-19
*
Proper configuration and installation
Adam Chlipala
2008-10-19
*
Proper generation of relation names; checking that sequences exist
Adam Chlipala
2008-10-19
*
Simple generation of persistent paths
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
*
lform -> form
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 and Top syntax-highlight, indent, parse, and type-check
Adam Chlipala
2008-10-12
*
top.urs indents and type-checks with new twiddle syntax
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
*
Expand cases where expression wildcards are allowed
Adam Chlipala
2008-10-04
*
Improved inference of records of tuples
Adam Chlipala
2008-10-04
*
Use checkbox in CRUD example
Adam Chlipala
2008-10-04
*
Small clean-ups in crud; Compiler.check
Adam Chlipala
2008-10-04
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
*
Force existence of bin and clib directories
Adam Chlipala
2008-09-18
*
Fix inexhaustive match
Adam Chlipala
2008-09-14
*
Crud completed
Adam Chlipala
2008-09-14
*
Crud update form
Adam Chlipala
2008-09-14
*
Push writes inside lets
Adam Chlipala
2008-09-14
*
Crud supports INSERT
Adam Chlipala
2008-09-14
*
SQL sequences
Adam Chlipala
2008-09-14
*
Deletion for Crud
Adam Chlipala
2008-09-13
[next]