log src/main.mlton.sml

age author description
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