| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-11-24 | Functional graph merging deals with letins. | courtieu |
| 2006-11-24 | Fixed the graph merging parameter order. | courtieu |
| 2006-11-23 | Fixing syntax and parameter order in functional graph merging. | courtieu |
| 2006-11-20 | Changing merging functional scheme syntax. | courtieu |
| 2006-11-16 | Small fix in functional graph merging. | courtieu |
| 2006-10-28 | Fixes in experimental merging of functional graphs. | courtieu |
| 2006-10-27 | 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-26 | Some fixes in experimental merging of two functional graphs. | courtieu |
| 2006-10-26 | Experimental merging of two functional graphs. | courtieu |
| 2006-10-20 | Starting to add a function schemes merging command (not finished, not | courtieu |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |