aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/main.mlton.sml
Commit message (Expand)AuthorAge
* Accept a few other command-line arguments to trigger help text (closes #63)Gravatar Adam Chlipala2018-10-19
* Small tweaks to new help textGravatar Adam Chlipala2017-10-01
* new flag -help, and refactoring of flag parsing.Gravatar Peter Bock2017-09-29
* Adding support for emitting JS to a given file.Gravatar Artyom Shalkhakov2017-03-07
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
* Change some vector operations to remain compatible with MLton working versionGravatar Adam Chlipala2016-05-29
* Untagle boot and static flagsGravatar Eran Meir2016-01-02
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| * Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
| * Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
| * Mostly finish effectfulness analysis.Gravatar Ziv Scully2014-10-31
| * Cleans up interface (it's now a command line option) and renames project to "...Gravatar Ziv Scully2014-05-31
|/
* -explainEmbedGravatar Adam Chlipala2014-03-17
* Some more nested functor bug-fixing, including generating fresh internal name...Gravatar Adam Chlipala2014-02-20
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
* Small reformatting and documentation for '-print-cinclude'Gravatar Adam Chlipala2013-12-06
* Add -print-cinlude command line optionGravatar Sergey Mironov2013-11-06
* Add -print-ccompiler command line optionGravatar Sergey Mironov2013-09-18
* Add -ccompiler command line argumentGravatar Sergey Mironov2013-08-20
* Fix broken implementation of 'urweb daemon stop'Gravatar Austin Seipp2012-11-28
* Add list of files to new error messageGravatar Adam Chlipala2012-08-18
* Better error message for funky command linesGravatar Adam Chlipala2012-08-18
* -dumpTypesOnErrorGravatar Adam Chlipala2012-05-05
* Send daemon output to calling processGravatar Adam Chlipala2012-05-05
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-05-02
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
* -unifyMoreGravatar Adam Chlipala2012-04-22
* -dumpSource flag; Especialize tweak: may specialize any argument sequence end...Gravatar Adam Chlipala2012-01-12
* Compiler frees as much memory as possible before passing control to C compilerGravatar Adam Chlipala2011-08-15
* '-dumpTypes'Gravatar Adam Chlipala2011-08-07
* Tracking and printing of version numbers (based on a patch by Austin Seipp)Gravatar Adam Chlipala2011-08-02
* Generated pretty-printed HTML for a simple tutorial source fileGravatar Adam Chlipala2011-07-15
* -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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 15:40:10 +0000