log src/main.mlton.sml

age author description
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
2008-06-08 Adam Chlipala Tree-shaking
2008-06-08 Adam Chlipala Some con reducing
2008-06-08 Adam Chlipala Primitive type constants
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton