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
/
urweb.grm
Commit message (
Expand
)
Author
Age
...
*
List notations
Adam Chlipala
2009-04-30
*
Subforms type-checks; lists urlified and unurlified
Adam Chlipala
2009-04-30
*
Subforms
Adam Chlipala
2009-04-28
*
A view query works
Adam Chlipala
2009-04-28
*
RIGHT and FULL JOIN
Adam Chlipala
2009-04-28
*
LEFT JOIN
Adam Chlipala
2009-04-28
*
INNER JOIN
Adam Chlipala
2009-04-28
*
Switch to using sql_from_items
Adam Chlipala
2009-04-28
*
sql_ufunc and octet_length
Adam Chlipala
2009-04-26
*
<link>
Adam Chlipala
2009-04-16
*
Classes as optional arguments to Basis.tag
Adam Chlipala
2009-04-12
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
hello compiles with CSS
Adam Chlipala
2009-04-12
*
style declarations
Adam Chlipala
2009-04-12
*
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
*
Get demo type-inferring again
Adam Chlipala
2009-04-07
*
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
*
Enhance table sig item support and get demo compiling again
Adam Chlipala
2009-04-07
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
sleep and better Scriptcheck
Adam Chlipala
2009-04-04
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
*
Demos compile again, with manual folders
Adam Chlipala
2009-02-24
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
*
Switch to TDisjoint from CDisjoint; still need to implement obligation genera...
Adam Chlipala
2009-02-24
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
Initial conversion to arbitrary-kind classes
Adam Chlipala
2008-12-19
*
Add SQL arithmetic operators
Adam Chlipala
2008-12-09
*
Finish documenting queries; remove a stray [unit] argument
Adam Chlipala
2008-12-07
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Some small changes while failing to write [restrict]
Adam Chlipala
2008-11-08
*
Resolve all tag named in [Basis]; deal with C compilation failure without lea...
Adam Chlipala
2008-11-08
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
*
Tree demo works
Adam Chlipala
2008-11-06
*
Inserted a NULL value
Adam Chlipala
2008-11-06
*
Cookies through explify
Adam Chlipala
2008-11-06
*
Cookies through elaborate
Adam Chlipala
2008-11-06
*
Parsing 'let'
Adam Chlipala
2008-11-01
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
*
CURRENT_TIMESTAMP
Adam Chlipala
2008-10-30
*
Remove need for '() <-' notation
Adam Chlipala
2008-10-27
*
New implicit argument handling
Adam Chlipala
2008-10-21
*
lt, le working for int
Adam Chlipala
2008-10-21
*
num working for int
Adam Chlipala
2008-10-21
*
lform -> form
Adam Chlipala
2008-10-14
[prev]
[next]