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 (
Collapse
)
Author
Age
*
Metaform demos, minus prose
Adam Chlipala
2008-10-23
|
*
Fix nasty de Bruijn substitution bug; TcSum demo
Adam Chlipala
2008-10-23
|
*
Counter demo
Adam Chlipala
2008-10-23
|
*
Add newline at end of file
adamc
2008-10-23
|
*
sml-util -> urweb-util
Adam Chlipala
2008-10-23
|
*
Sum prose
Adam Chlipala
2008-10-21
|
*
Infering sum rows
Adam Chlipala
2008-10-21
|
*
Sum demo, minus inference of {Unit}s
Adam Chlipala
2008-10-21
|
*
Sql demo
Adam Chlipala
2008-10-21
|
*
Note about demo.sql
Adam Chlipala
2008-10-21
|
*
ListShop prose
Adam Chlipala
2008-10-21
|
*
Rec demo
Adam Chlipala
2008-10-21
|
*
Form example
Adam Chlipala
2008-10-21
|
*
Hello prose
Adam Chlipala
2008-10-21
|
*
Intro prose
Adam Chlipala
2008-10-21
|
*
New implicit argument handling
Adam Chlipala
2008-10-21
|
*
Recursive unurlify for Default datatypes
Adam Chlipala
2008-10-21
|
*
Remove printing of HTTP headers
Adam Chlipala
2008-10-21
|
*
Fix a nasty driver bug, involving memory restarts and marked-up request strings
Adam Chlipala
2008-10-21
|
*
listFun uses length
Adam Chlipala
2008-10-21
|
*
Simple listShop working
Adam Chlipala
2008-10-21
|
*
ListShop skeleton
Adam Chlipala
2008-10-21
|
*
Fix XML indenting to ignore comparison operators
Adam Chlipala
2008-10-21
|
*
ord_string
Adam Chlipala
2008-10-21
|
*
ord_float and ord_bool
Adam Chlipala
2008-10-21
|
*
Fix XML detection in presence of comparison operators
Adam Chlipala
2008-10-21
|
*
gt, ge
Adam Chlipala
2008-10-21
|
*
lt, le working for int
Adam Chlipala
2008-10-21
|
*
num_float
Adam Chlipala
2008-10-21
|
*
num working for int
Adam Chlipala
2008-10-21
|
*
Monoize eq_[bool|string]
Adam Chlipala
2008-10-21
|
*
Binops; equality tested on int; lame 404 substitute
Adam Chlipala
2008-10-21
|
*
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
|
[next]