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
Commit message (
Expand
)
Author
Age
*
Wrapping works in Blog
Adam Chlipala
2008-11-01
*
Explify 'let'
Adam Chlipala
2008-11-01
*
First Unnest tests working
Adam Chlipala
2008-11-01
*
Elaborating 'let'
Adam Chlipala
2008-11-01
*
Parsing 'let'
Adam Chlipala
2008-11-01
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
*
Remove _espec tag; add some tag fields
Adam Chlipala
2008-10-30
*
Especialize
Adam Chlipala
2008-10-30
*
Don't inline case expressions
Adam Chlipala
2008-10-30
*
CURRENT_TIMESTAMP
Adam Chlipala
2008-10-30
*
Marshaling time to SQL
Adam Chlipala
2008-10-30
*
Reading timestamps from SQL
Adam Chlipala
2008-10-30
*
Add time to some type classes
Adam Chlipala
2008-10-30
*
time type
Adam Chlipala
2008-10-30
*
GCCARGS configure option
Adam Chlipala
2008-10-28
*
Remove need for '() <-' notation
Adam Chlipala
2008-10-27
*
Switch exit(1) call to uw_error()
Adam Chlipala
2008-10-27
*
Avoid using libpq when unneeded
Adam Chlipala
2008-10-26
*
Make *_w function prototypes match header file
adamc
2008-10-24
*
Remove debug print for optional inputs
Adam Chlipala
2008-10-24
*
Properly freeing libpq results on errors
Adam Chlipala
2008-10-24
*
Transactions seem to be working
Adam Chlipala
2008-10-24
*
Stop including functors in paths
Adam Chlipala
2008-10-24
*
Crud2 demo
Adam Chlipala
2008-10-23
*
Fix bug with bringing functor argument instances into scope; Ref demo, minus ...
Adam Chlipala
2008-10-23
*
Metaform demos, minus prose
Adam Chlipala
2008-10-23
*
Fix nasty de Bruijn substitution bug; TcSum 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
*
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
[next]