Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | -prefix command-line option | Adam Chlipala | 2010-12-12 |
| | |||
* | Interface for setting memory limits | Adam Chlipala | 2010-10-14 |
| | |||
* | Demo improvements | Adam Chlipala | 2010-09-30 |
| | |||
* | -moduleOf command-line option; compatibility fixes and better error messages ↵ | Adam Chlipala | 2010-05-27 |
| | | | | for SQLite | ||
* | Command-line use of Iflow | Adam Chlipala | 2010-04-13 |
| | |||
* | -verbose | Adam Chlipala | 2010-03-04 |
| | |||
* | Basic analysis of tag and CSS class usage | Adam Chlipala | 2010-02-27 |
| | |||
* | sigfile directive | Adam Chlipala | 2010-02-11 |
| | |||
* | -path and -root command-line flags | Adam Chlipala | 2010-01-12 |
| | |||
* | Dynamic linking of the runtime system | Adam Chlipala | 2009-12-27 |
| | |||
* | -tc flag | Adam Chlipala | 2009-12-24 |
| | |||
* | Refactor compile functions; allow empty tag contents | Adam Chlipala | 2009-11-25 |
| | |||
* | 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 |