2009-05-17 | Adam Chlipala | DefaultA parameter to dom | blob | commitdiff | raw |
2008-02-24 | Adam Chlipala | Add back mistakenly removed default env var | blob | commitdiff | raw | diff to current |
2008-02-24 | Adam Chlipala | Add new Easy_domain env defaults | blob | commitdiff | raw | diff to current |
2007-12-15 | Adam Chlipala | Improved Easy_domain, with boolean env vars | blob | commitdiff | raw | diff to current |
2007-11-11 | Adam Chlipala | Fix type of default WWW env var | blob | commitdiff | raw | diff to current |
2007-11-11 | Adam Chlipala | Type annotations on environment variable reads | blob | commitdiff | raw | diff to current |