Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | More command-line options | Adam Chlipala | 2009-07-18 |
| | |||
* | Start of multi-DBMS support | Adam Chlipala | 2009-06-28 |
| | |||
* | -debug from the command line | Adam Chlipala | 2009-06-27 |
| | |||
* | cgi protocol | Adam Chlipala | 2009-06-23 |
| | |||
* | Some demo improvements | Adam Chlipala | 2008-11-20 |
| | |||
* | Building combined demo app | Adam Chlipala | 2008-10-19 |
| | |||
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 |
| | |||
* | Update MLton main file | Adam Chlipala | 2008-09-02 |
| | |||
* | -timing option for command-line compiler | Adam Chlipala | 2008-08-16 |
| | |||
* | Command-line compiler goes the whole nine yards | Adam Chlipala | 2008-07-10 |
| | |||
* | Update main.mlton for group compilation | Adam Chlipala | 2008-06-22 |
| | |||
* | Lexer/parser hacks to share code between regular and signature file parsers | Adam Chlipala | 2008-06-22 |
| | |||
* | Update main.mlton | Adam Chlipala | 2008-06-10 |
| | |||
* | Tree-shaking | Adam Chlipala | 2008-06-08 |
| | |||
* | Some con reducing | Adam Chlipala | 2008-06-08 |
| | |||
* | Primitive type constants | Adam Chlipala | 2008-06-08 |
| | |||
* | Initial parsing and pretty-printing | Adam Chlipala | 2008-01-26 |
| | |||
* | Initial skeleton | Adam Chlipala | 2008-01-26 |