HCoop / hcoop / domtool2.git / history
| 2008-03-01 | Adam Chlipala | Additions while poking around people's configs | blob | commitdiff | raw |
| 2007-12-15 | Adam Chlipala | Improved Easy_domain, with boolean env vars | blob | commitdiff | raw | diff to current |
| 2007-12-15 | Adam Chlipala | Move catchAllAlias to Alias module | blob | commitdiff | raw | diff to current |
| 2007-06-20 | Adam Chlipala | Remove catchAllAlias in favor of defaultAlias; add... | blob | commitdiff | raw | diff to current |
| 2006-12-17 | Adam Chlipala | More easy_domain | blob | commitdiff | raw | diff to current |
| 2006-08-06 | Adam Chlipala | URL handling | blob | commitdiff | raw | diff to current |
| 2006-08-06 | Adam Chlipala | Added concept of multiple nodes | blob | commitdiff | raw | diff to current |
| 2006-07-30 | Adam Chlipala | Evaluating a test with automatic inclusion of basis | blob | commitdiff | raw | diff to current |
| 2006-07-30 | Adam Chlipala | Dependency ordering | blob | commitdiff | raw | diff to current |