2004-09-23 | Adam Chlipala | Automatically generate mlt.conf | blob | commitdiff | raw |
2004-09-22 | Adam Chlipala | Automatically generate settings.sml | blob | commitdiff | raw | diff to current |
2004-09-22 | Adam Chlipala | More un-hardcoding | blob | commitdiff | raw | diff to current |