| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Functional graph merging deals with letins. |  courtieu | 2006-11-24 |
| * | Fixed the graph merging parameter order. | courtieu | 2006-11-24 |
| * | Fixing syntax and parameter order in functional graph merging. | courtieu | 2006-11-23 |
| * | Changing merging functional scheme syntax. | courtieu | 2006-11-20 |
| * | Small fix in functional graph merging. | courtieu | 2006-11-16 |
| * | Fixes in experimental merging of functional graphs. | courtieu | 2006-10-28 |
| * | Fixes on functional graphs merging: put functional results at the end | courtieu | 2006-10-27 |
| * | Fixes on functional graphs merging: removed debug printing. | courtieu | 2006-10-27 |
| * | Fixes on functional graphs merging: names of constructors. | courtieu | 2006-10-27 |
| * | Some fixes in experimental merging of two functional graphs. | courtieu | 2006-10-26 |
| * | Experimental merging of two functional graphs. | courtieu | 2006-10-26 |
| * | Starting to add a function schemes merging command (not finished, not | courtieu | 2006-10-20 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |