| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-03-20 | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey |
| 2009-03-17 | Uniformizing Tacticals, continued (allClauses -> allHypsAndConcl) | herbelin |
| 2008-12-09 | About "apply in": | herbelin |
| 2008-11-22 | Fixed bug in VernacExtend printing + missing vernacular printing rules + | herbelin |
| 2008-11-20 | correction of bug #2002 | jforest |
| 2008-09-12 | Add a type argument to letin_tac instead of using casts and recomputing | msozeau |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-06-08 | - Extension de "generalize" en "generalize c as id at occs". | herbelin |
| 2008-05-30 | Improvements on coqdoc by adding more information into .glob | msozeau |
| 2008-04-28 | menage dans funind + deplaceemnt de recdef dans funind | jforest |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |