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
Commit message (
Collapse
)
Author
Age
*
Case through explify
Adam Chlipala
2008-07-31
|
*
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
|
*
Pattern match coverage checking
Adam Chlipala
2008-07-31
|
*
Elaborating some basic pattern matching
Adam Chlipala
2008-07-31
|
*
Parsing basic patterns
Adam Chlipala
2008-07-29
|
*
Took more advantage of new ability to exit with an error message
Adam Chlipala
2008-07-29
|
*
Storing datatype constructors in type references past monoize
Adam Chlipala
2008-07-29
|
*
Unurlifying a datatype; longjmp-based error signaling mechanism
Adam Chlipala
2008-07-29
|
*
Start of unurlify for datatypes
Adam Chlipala
2008-07-29
|
*
Datatypes through cjrize, modulo decoding
Adam Chlipala
2008-07-29
|
*
Datatypes through monoize
Adam Chlipala
2008-07-29
|
*
Datatypes through corify
Adam Chlipala
2008-07-29
|
*
Add datatype import constructor annotations; datatypes through explify
Adam Chlipala
2008-07-29
|
*
Normalize datatype choice during SgiDatatypeImp elaboration
Adam Chlipala
2008-07-24
|
*
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
|
*
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
|
*
Fix GET parsing for inputs without =
Adam Chlipala
2008-07-22
|
*
Simple forms work
Adam Chlipala
2008-07-22
|
*
Almost ready to have a form work
Adam Chlipala
2008-07-20
|
*
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
|
*
Change driver to use Pthreads
Adam Chlipala
2008-07-19
|
*
Replaced allocation stubs
Adam Chlipala
2008-07-17
|
*
Dynamic arena allocation
Adam Chlipala
2008-07-17
|
*
Proper escaping of cdata
Adam Chlipala
2008-07-17
|
*
MonoShake
Adam Chlipala
2008-07-17
|
*
MonoReduce
Adam Chlipala
2008-07-17
|
*
Proper topological sorting in untangle
Adam Chlipala
2008-07-17
|
*
Untangle
Adam Chlipala
2008-07-17
|
*
Compiled mutual 'val rec'
Adam Chlipala
2008-07-17
|
*
Compiled (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Monoizing (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Reducing (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Tagging (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Corifying (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
[next]