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
Commit message (
Expand
)
Author
Age
...
*
More generous wildification, covering map-records
Adam Chlipala
2010-06-13
*
Some serious bug-fix work to get HTML example to compile; this includes fixin...
Adam Chlipala
2010-06-03
*
Fix C-mangling of datatype names
Adam Chlipala
2010-05-16
*
Add rand to Basis and handle it in Iflow
Adam Chlipala
2010-04-29
*
'also' policies and policy reduction; calendar in good shape
Adam Chlipala
2010-04-15
*
sendOwnIds policies
Adam Chlipala
2010-04-11
*
Update policies
Adam Chlipala
2010-04-11
*
Delete policies
Adam Chlipala
2010-04-11
*
Insert policies
Adam Chlipala
2010-04-11
*
Change query_policy to sendClient; all arguments passed to SQL predicates are...
Adam Chlipala
2010-04-08
*
Introduced the known() predicate
Adam Chlipala
2010-04-06
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Make SELECT FROM clauses optional
Adam Chlipala
2010-03-28
*
Subquery FROM items
Adam Chlipala
2010-03-25
*
Subquery expressions
Adam Chlipala
2010-03-25
*
COUNT(col)
Adam Chlipala
2010-03-16
*
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a mod...
Adam Chlipala
2010-03-09
*
Got split1 working, but noticed a nasty type inference bug with transplanted ...
Adam Chlipala
2010-03-06
*
Standard library moduls Incl and Mem; tweaks to Especialize and Unpoly
Adam Chlipala
2010-03-06
*
Louder jscomp; toUpper/Lower fix for JavaScript
Adam Chlipala
2010-03-04
*
Monad.foldMapR
Adam Chlipala
2010-03-02
*
String.isPrefix
Adam Chlipala
2010-03-02
*
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags
Adam Chlipala
2010-02-28
*
Changing foldRX to mapX
Adam Chlipala
2010-02-28
*
Remove Basis.getRequestHeader, because it can subvert cookie security
Adam Chlipala
2010-02-13
*
Update Makefile.in's with new Autotools; add extra 'return NULL' to placate s...
Adam Chlipala
2010-01-30
*
Small tweaks
Adam Chlipala
2010-01-28
*
Handling errors during commit
Adam Chlipala
2010-01-26
*
<img> has dimensions and needs special HTML handling
Adam Chlipala
2010-01-26
*
Allow escaped backslashes in literals; conversion betwixt int and char
Adam Chlipala
2010-01-12
*
Reduce concatenations of the empty record; unpoly non-recursive functions
Adam Chlipala
2010-01-10
*
Basis.debug; more restrictive type for Basis.form; weaken definition of polym...
Adam Chlipala
2010-01-07
*
Basis.textBlob; support HTTP requests with no headers
Adam Chlipala
2010-01-05
*
Proper 404 generation
Adam Chlipala
2010-01-02
*
Eta-expand bodies of transaction functions in Monoization, to enable later op...
Adam Chlipala
2009-12-31
*
Basis.serialize; separate file for mhash; run transactional finishers in reve...
Adam Chlipala
2009-12-31
*
ctextarea; s/header/include in the manual
Adam Chlipala
2009-12-29
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
Updating the manual
Adam Chlipala
2009-12-24
*
Basis.sql_nullable and Top.queryL
Adam Chlipala
2009-12-22
*
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
*
Fixing a bug in DInitializer elaboration
Adam Chlipala
2009-12-13
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Weakening-type coercions for SQL values
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
*
Checked-ness of radio options; Option.get
Adam Chlipala
2009-12-12
*
Basis.currentUrl, plus redirect debugging
Adam Chlipala
2009-12-10
*
Basis.url and redirects
Adam Chlipala
2009-12-10
[prev]
[next]