2012-01-13 |
Adam Chlipala |
-dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type |
2011-08-15 |
Adam Chlipala |
Compiler frees as much memory as possible before passing control to C compiler |
2011-08-07 |
Adam Chlipala |
'-dumpTypes' |
2011-08-02 |
Adam Chlipala |
Tracking and printing of version numbers (based on a patch by Austin Seipp) |
2011-07-15 |
Adam Chlipala |
Generated pretty-printed HTML for a simple tutorial source file |
2010-12-12 |
Adam Chlipala |
-prefix command-line option |
2010-10-14 |
Adam Chlipala |
Interface for setting memory limits |
2010-09-30 |
Adam Chlipala |
Demo improvements |
2010-05-27 |
Adam Chlipala |
-moduleOf command-line option; compatibility fixes and better error messages for SQLite |
2010-04-13 |
Adam Chlipala |
Command-line use of Iflow |
2010-03-04 |
Adam Chlipala |
-verbose |
2010-02-27 |
Adam Chlipala |
Basic analysis of tag and CSS class usage |
2010-02-11 |
Adam Chlipala |
sigfile directive |
2010-01-12 |
Adam Chlipala |
-path and -root command-line flags |
2009-12-27 |
Adam Chlipala |
Dynamic linking of the runtime system |
2009-12-24 |
Adam Chlipala |
-tc flag |
2009-11-25 |
Adam Chlipala |
Refactor compile functions; allow empty tag contents |
2009-07-18 |
Adam Chlipala |
More command-line options |
2009-06-28 |
Adam Chlipala |
Start of multi-DBMS support |
2009-06-27 |
Adam Chlipala |
-debug from the command line |
2009-06-23 |
Adam Chlipala |
cgi protocol |
2008-11-20 |
Adam Chlipala |
Some demo improvements |
2008-10-19 |
Adam Chlipala |
Building combined demo app |
2008-10-19 |
Adam Chlipala |
Proper configuration and installation |
2008-09-02 |
Adam Chlipala |
Update MLton main file |
2008-08-16 |
Adam Chlipala |
-timing option for command-line compiler |
2008-07-10 |
Adam Chlipala |
Command-line compiler goes the whole nine yards |
2008-06-22 |
Adam Chlipala |
Update main.mlton for group compilation |
2008-06-22 |
Adam Chlipala |
Lexer/parser hacks to share code between regular and signature file parsers |
2008-06-10 |
Adam Chlipala |
Update main.mlton |