| Age | Commit message (Expand) | Author |
|---|---|---|
| 2014-12-02 | When solving ?id{args} = ?id'{args'}, give preference to ?id:=?id' if | Hugo Herbelin |
| 2014-11-03 | New bugs revealed fixed: #3408 by (probably) Maxime's commits | Hugo Herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |