summaryrefslogtreecommitdiff
path: root/src/main.mlton.sml
Commit message (Expand)AuthorAge
* -prefix command-line optionGravatar Adam Chlipala2010-12-12
* Interface for setting memory limitsGravatar Adam Chlipala2010-10-14
* Demo improvementsGravatar Adam Chlipala2010-09-30
* -moduleOf command-line option; compatibility fixes and better error messages ...Gravatar Adam Chlipala2010-05-27
* Command-line use of IflowGravatar Adam Chlipala2010-04-13
* -verboseGravatar Adam Chlipala2010-03-04
* Basic analysis of tag and CSS class usageGravatar Adam Chlipala2010-02-27
* sigfile directiveGravatar Adam Chlipala2010-02-11
* -path and -root command-line flagsGravatar Adam Chlipala2010-01-12
* Dynamic linking of the runtime systemGravatar Adam Chlipala2009-12-27
* -tc flagGravatar Adam Chlipala2009-12-24
* Refactor compile functions; allow empty tag contentsGravatar Adam Chlipala2009-11-25
* More command-line optionsGravatar Adam Chlipala2009-07-18
* Start of multi-DBMS supportGravatar Adam Chlipala2009-06-28
* -debug from the command lineGravatar Adam Chlipala2009-06-27
* cgi protocolGravatar Adam Chlipala2009-06-23
* Some demo improvementsGravatar Adam Chlipala2008-11-20
* Building combined demo appGravatar Adam Chlipala2008-10-19
* Proper configuration and installationGravatar Adam Chlipala2008-10-19
* Update MLton main fileGravatar Adam Chlipala2008-09-02
* -timing option for command-line compilerGravatar Adam Chlipala2008-08-16
* Command-line compiler goes the whole nine yardsGravatar Adam Chlipala2008-07-10
* Update main.mlton for group compilationGravatar Adam Chlipala2008-06-22
* Lexer/parser hacks to share code between regular and signature file parsersGravatar Adam Chlipala2008-06-22
* Update main.mltonGravatar Adam Chlipala2008-06-10
* Tree-shakingGravatar Adam Chlipala2008-06-08
* Some con reducingGravatar Adam Chlipala2008-06-08
* Primitive type constantsGravatar Adam Chlipala2008-06-08
* Initial parsing and pretty-printingGravatar Adam Chlipala2008-01-26
* Initial skeletonGravatar Adam Chlipala2008-01-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-01 16:56:48 +0000