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
Commit message (
Expand
)
Author
Age
*
'error' function
Adam Chlipala
2008-09-07
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
*
Monoize ASC/DESC
Adam Chlipala
2008-08-31
*
Monoize relops
Adam Chlipala
2008-08-31
*
Add 'ne' to 'eq' type class
Adam Chlipala
2008-08-31
*
'eq' type class
Adam Chlipala
2008-08-31
*
Monoized a WHERE clause with a comparison
Adam Chlipala
2008-08-31
*
Monoized and optimized initial query test
Adam Chlipala
2008-08-31
*
Monoize transaction identifiers; improve disjointness prover on irreducible f...
Adam Chlipala
2008-08-31
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Transactions and queries, at source level
Adam Chlipala
2008-08-28
*
More aggregate functions
Adam Chlipala
2008-08-28
*
COUNT
Adam Chlipala
2008-08-28
*
SELECTed expressions in ORDER BY
Adam Chlipala
2008-08-28
*
SELECTing arbitrary expressions
Adam Chlipala
2008-08-28
*
OFFSET
Adam Chlipala
2008-08-21
*
LIMIT
Adam Chlipala
2008-08-21
*
ORDER BY
Adam Chlipala
2008-08-21
*
Relational operators; string literals for SQL
Adam Chlipala
2008-08-21
*
Change [sql_field] type to get 'where' test to check again
Adam Chlipala
2008-08-21
*
GROUP BY added to query type, with trivial parsing, for now
Adam Chlipala
2008-08-21
*
Queries back to working as well as before, after start of refactoring to supp...
Adam Chlipala
2008-08-21
*
Fields in SQL expressions
Adam Chlipala
2008-08-16
*
SQL boolean operators
Adam Chlipala
2008-08-16
*
SQL comparison operators
Adam Chlipala
2008-08-16
*
Looking up in a type class from a module
Adam Chlipala
2008-08-16
*
Stub WHERE support
Adam Chlipala
2008-08-16
*
Non-star SELECT
Adam Chlipala
2008-08-14
*
Parsing the simplest SQL query
Adam Chlipala
2008-08-14
*
Parsing and elaborating 'table'
Adam Chlipala
2008-08-14
*
Checkboxes
Adam Chlipala
2008-08-07
*
bool in Basis
Adam Chlipala
2008-08-03
*
Password inputs
Adam Chlipala
2008-07-24
*
HTML select
Adam Chlipala
2008-07-24
*
radio and radioOption
Adam Chlipala
2008-07-24
*
textarea
Adam Chlipala
2008-07-24
*
gform in proper order
Adam Chlipala
2008-07-22
*
Form submission type-checking
Adam Chlipala
2008-07-20
*
Initial form support
Adam Chlipala
2008-07-20
*
A simpler context encoding
Adam Chlipala
2008-07-20
*
Form binding parameters threaded through
Adam Chlipala
2008-07-20
*
Proper handling of non-function-call links
Adam Chlipala
2008-07-13
*
Starting with closure links
Adam Chlipala
2008-07-13
*
More with attributes and efficient serialization
Adam Chlipala
2008-07-10
*
Stringifying attributes
Adam Chlipala
2008-07-10
*
Initial HTML attributes support
Adam Chlipala
2008-07-10
*
More fun with HTML
Adam Chlipala
2008-07-03
*
Basic XML stuff
Adam Chlipala
2008-07-03
*
Separate compilation and automatic basis importation
Adam Chlipala
2008-06-22