Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | 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 |