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 (
Expand
)
Author
Age
*
Elaborating record patterns
Adam Chlipala
2008-07-31
*
Elaborating module constructor patterns; parsing record patterns
Adam Chlipala
2008-07-31
*
Patterns for int and string constants
Adam Chlipala
2008-07-31
*
Elaborating some basic pattern matching
Adam Chlipala
2008-07-31
*
Parsing basic patterns
Adam Chlipala
2008-07-29
*
Datatypes through corify
Adam Chlipala
2008-07-29
*
Datatype import signature-matches abstract datatype
Adam Chlipala
2008-07-24
*
Abstracting datatypes with signature ascription
Adam Chlipala
2008-07-24
*
More datatype module stuff
Adam Chlipala
2008-07-24
*
Basic datatype importing works
Adam Chlipala
2008-07-24
*
Start of datatype support
Adam Chlipala
2008-07-24
*
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
*
gformText test
Adam Chlipala
2008-07-24
*
Full gform test works
Adam Chlipala
2008-07-24
*
Record cut
Adam Chlipala
2008-07-24
*
gform in proper order
Adam Chlipala
2008-07-22
*
Meta-programming forms
Adam Chlipala
2008-07-22
*
Fix opening and corifying of functors
Adam Chlipala
2008-07-22
*
Simple forms work
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
*
Dynamic arena allocation
Adam Chlipala
2008-07-17
*
Proper escaping of cdata
Adam Chlipala
2008-07-17
*
MonoShake
Adam Chlipala
2008-07-17
*
Untangle
Adam Chlipala
2008-07-17
*
Compiled mutual 'val rec'
Adam Chlipala
2008-07-17
*
Parsing and elaborating (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
*
Three-argument web function test
Adam Chlipala
2008-07-13
*
Multiple arguments to web functions
Adam Chlipala
2008-07-13
*
Passing an argument to a web function
Adam Chlipala
2008-07-13
*
Proper handling of non-function-call links
Adam Chlipala
2008-07-13
*
Closure code generation almost there
Adam Chlipala
2008-07-13
*
Starting with closure links
Adam Chlipala
2008-07-13
*
Remove closure conversion in favor of zany fun with modules, which also repla...
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
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
*
Fill in more types during closure conversion
Adam Chlipala
2008-07-10
*
Simplify HTML examples, until the dispatching is ready
Adam Chlipala
2008-07-03
*
Monoizing joins and tags
Adam Chlipala
2008-07-03
*
Monoizing cdata
Adam Chlipala
2008-07-03
*
More fun with HTML
Adam Chlipala
2008-07-03
*
XML tags with contents
Adam Chlipala
2008-07-03
*
Basic XML stuff
Adam Chlipala
2008-07-03
[next]