| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-02-13 | Fix NumbersSyntax.out | letouzey |
| 2010-01-29 | minor change in test-suite/output/NumberSyntax.out: a BigN.t_ instead of BigN.t | letouzey |
| 2009-11-12 | BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504) | letouzey |
| 2009-11-12 | Repair interpretation of numeral for BigQ, add a printer (close #2160) | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |