| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Nouvelle interprétation des nombres réels |  desmettr | 2003-01-15 |
| * | Resolution de bug (du a Auto; remplacement par lt_O_Sn) |  mayero | 2002-06-26 |
| * | Nouvelle version avec INR + Amelioration de Sup0. | mayero | 2002-06-20 |
| * | Traitement t de -1<>0 |  delahaye | 2001-12-04 |
| * | Backtrack sur le commit du 30.11.2001 | delahaye | 2001-12-04 |
| * | *** empty log message *** | desmettr | 2001-11-30 |
| * | Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR | delahaye | 2001-10-23 |
| * | modif test const | mayero | 2001-09-18 |
| * | Minor layout adjustments for Library doc |  coq | 2001-04-23 |
| * | Ajout tactics Reals | mayero | 2001-04-20 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |