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
/
lib
/
ur
/
basis.urs
Commit message (
Expand
)
Author
Age
...
*
URLs
Adam Chlipala
2009-04-09
*
CHECK constraints
Adam Chlipala
2009-04-09
*
More flexible foreign keying
Adam Chlipala
2009-04-09
*
Made type class system very general; demo compiles
Adam Chlipala
2009-04-09
*
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...
Adam Chlipala
2009-04-07
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
Update the manual
Adam Chlipala
2009-04-05
*
sleep and better Scriptcheck
Adam Chlipala
2009-04-04
*
spawn
Adam Chlipala
2009-04-04
*
Checking spans in dyns
Adam Chlipala
2009-04-04
*
Expunging non-nullable rows
Adam Chlipala
2009-03-29
*
Redo channels, making them single-client
Adam Chlipala
2009-03-29
*
Preliminary work supporting channels in databases
Adam Chlipala
2009-03-26
*
Make sql_injectable class nicer with inclusion
Adam Chlipala
2009-03-26
*
Proper recv
Adam Chlipala
2009-03-22
*
First message send delivered, but not interpreted
Adam Chlipala
2009-03-22
*
Update old Ur/Web library section, before adding new stuff
Adam Chlipala
2009-03-12
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
Combine lib* directories
Adam Chlipala
2009-01-13
[prev]