Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 ↵ | Adam Chlipala | 2008-07-13 | |
| | | | | replaces 'page' | |||
* | 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 | |
| | ||||
* | Fancier head normalization pushed inside of Disjoint | Adam Chlipala | 2008-07-03 | |
| | ||||
* | Tested constraints through functors | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Constraints in modules | Adam Chlipala | 2008-07-01 | |
| | ||||
* | Push KUnit and CUnit through the phases | Adam Chlipala | 2008-07-01 | |
| |