| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-06-13 | BigNums: remove files about BigN,BigZ,BigQ (now in an separate git repo) | Pierre Letouzey |
| 2011-02-21 | Some fixes of the test-suite scripts | letouzey |
| 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 |