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
...
*
More informative tag mismatch error message
Adam Chlipala
2010-03-16
*
COUNT(col)
Adam Chlipala
2010-03-16
*
Loosen parsing of multiplication
Adam Chlipala
2010-01-05
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
Allow same constructor shorthand for 'view' sig items as for 'table'
Adam Chlipala
2009-12-15
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Better record summary error messages; more tweaking SQL usability
Adam Chlipala
2009-12-13
*
Tweaking SQL parsing and typing
Adam Chlipala
2009-12-13
*
Refactor compile functions; allow empty tag contents
Adam Chlipala
2009-11-25
*
Add tuple pattern-matching at the constructor level
Adam Chlipala
2009-10-20
*
SELECT DISTINCT; eta expansion during Cjrization
Adam Chlipala
2009-10-06
*
Paging mostly working; just need to get it working properly with filtering
Adam Chlipala
2009-09-19
*
grid1 compiles but gets stuck in JS
Adam Chlipala
2009-08-25
*
List.all; fix ANDALSO/ORELSE parsing precedence
Adam Chlipala
2009-06-07
*
&& and ||
Adam Chlipala
2009-06-07
*
Lexing some more string escape sequences; JS versions of number read; fix pro...
Adam Chlipala
2009-06-02
*
Tweak -- precedence; use right env for final exhaustiveness errors
Adam Chlipala
2009-06-02
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
*
Demo compiles with pattern-matching-fu
Adam Chlipala
2009-05-28
*
fn-pattern code in but not tested yet; hello compiles
Adam Chlipala
2009-05-28
*
Chars and more string operations
Adam Chlipala
2009-05-26
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
*
Improving/reordering Unpoly and Especialize; pathmaps
Adam Chlipala
2009-05-14
*
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
[prev]
[next]