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
/
tests
Commit message (
Collapse
)
Author
Age
*
New implicit argument handling
Adam Chlipala
2008-10-21
|
*
Recursive unurlify for Default datatypes
Adam Chlipala
2008-10-21
|
*
Simple listShop working
Adam Chlipala
2008-10-21
|
*
ord_string
Adam Chlipala
2008-10-21
|
*
ord_float and ord_bool
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
|
*
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
|
*
Removed handling of <,> as operators, for now
Adam Chlipala
2008-10-16
|
*
Improving indentation of XML after antiquote
Adam Chlipala
2008-10-16
|
*
Reusable column handlers for Crud
Adam Chlipala
2008-10-14
|
*
lform -> form
Adam Chlipala
2008-10-14
|
*
Syntax highlighting for embedded XML
Adam Chlipala
2008-10-14
|
*
Basis indents and type-checks with new twiddle syntax
Adam Chlipala
2008-10-12
|
*
More indenting
Adam Chlipala
2008-10-12
|
*
Get type definitions font-locking again
Adam Chlipala
2008-10-12
|
*
First sort-of-working run of urweb-mode
Adam Chlipala
2008-10-12
|
*
Expand cases where expression wildcards are allowed
Adam Chlipala
2008-10-04
|
*
Improved inference of records of tuples
Adam Chlipala
2008-10-04
|
*
Use checkbox in CRUD example
Adam Chlipala
2008-10-04
|
*
Small clean-ups in crud; Compiler.check
Adam Chlipala
2008-10-04
|
*
Crud completed
Adam Chlipala
2008-09-14
|
*
Crud update form
Adam Chlipala
2008-09-14
|
*
Crud supports INSERT
Adam Chlipala
2008-09-14
|
*
SQL sequences
Adam Chlipala
2008-09-14
|
*
Deletion for Crud
Adam Chlipala
2008-09-13
|
*
Crud gets column headings
Adam Chlipala
2008-09-13
|
*
queryX
Adam Chlipala
2008-09-13
|
*
foldTRX2
Adam Chlipala
2008-09-13
|
*
foldTR2
Adam Chlipala
2008-09-13
|
*
Fix bug in subsignature check for con synonyms
Adam Chlipala
2008-09-11
|
*
Crud list works
Adam Chlipala
2008-09-11
|
*
Crud listing IDs
Adam Chlipala
2008-09-11
|
*
Optimization removes linear let-bindings of impure expressions
Adam Chlipala
2008-09-11
|
*
Fix memory bounds checks; specialization of multi-argument polymorphic ↵
Adam Chlipala
2008-09-11
|
|
|
|
function works
*
Unpolyed a polymorphic function of two arguments
Adam Chlipala
2008-09-11
|
*
Unpoly non-recursive function
Adam Chlipala
2008-09-11
|
*
Termination checking allows anything in links and actions
Adam Chlipala
2008-09-09
|
[next]