Multi-configuration support
[hcoop/domtool2.git] / lib / alias.dtl
2006-08-06 Adam ChlipalaURL handling
2006-08-06 Adam ChlipalaAdded concept of multiple nodes
2006-07-30 Adam ChlipalaEvaluating a test with automatic inclusion of basis
2006-07-30 Adam ChlipalaDependency ordering