| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-10-31 | Debug obligation handling code | msozeau |
| 2006-10-31 | Fix compile error | msozeau |
| 2006-10-31 | Work on obligation separation. | msozeau |
| 2006-10-26 | Facilities to automatically solve obligations | msozeau |
| 2006-10-10 | Fix 0 obligations bug | msozeau |
| 2006-09-04 | Fix wrong order for building library, add informative messages. | msozeau |
| 2006-09-01 | New handling of obligations. | msozeau |
| 2006-09-01 | Forgot to add this one. | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |