Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix test cases. | schnetter | 2004-05-29 |
| | | | | darcs-hash:20040529174758-07bb3-cbc24630c2b4907e7b79aadb1a91cc8eb7c59b1a.gz | ||
* | Fix bug in keeping the refinement structure, and add two test cases | schnetter | 2004-05-29 |
Fix bug in keeping the refinement structure, and add two test cases for it. darcs-hash:20040529174219-07bb3-0d6296d475824748d2bee4e7c1029da767648cac.gz |