| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-01-30 | [toplevel] Deprecate the `-compile` flag in favor of `coqc`. | Emilio Jesus Gallego Arias |
| 2016-03-04 | Making parentheses mandatory in tactic scopes. | Pierre-Marie Pédrot |
| 2012-07-06 | Minor fixes in the test-suite after my recent commits | letouzey |
| 2012-07-05 | ZArith + other : favor the use of modern names instead of compat notations | letouzey |
| 2011-05-06 | Fixes in the test-suite after modularisation of ZArith and co | letouzey |
| 2010-03-27 | Fixing bug #2279 (printing nested let-in was in exponential time) | herbelin |
| 2009-03-04 | illegal tactic application was having Ltac interpreter loop | barras |
| 2008-07-09 | test-suite/complexity/ring2.v: Zeqb_ok -> Zbool.Zeq_bool_eq | letouzey |
| 2008-05-22 | Strategy commands are now exported | barras |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |