| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Nouvelle en-tête |  herbelin | 2004-07-16 |
| * | ide: silent behavior better, save icon, -byte works |  marche | 2004-03-03 |
| * | ameliorations coqide |  coq | 2003-12-30 |
| * | commandes de coqide | marche | 2003-12-09 |
| * | changement menu et toolbar | marche | 2003-12-04 |
| * | commands renomme en queries, command goto a la place de forward to backwardt o | marche | 2003-11-28 |
| * | Coqide : ported to lablgtk2 snapshot of 2003/07/07 |  monate | 2003-07-07 |
| * | *** empty log message *** | monate | 2003-06-18 |
| * | command_windows fix | monate | 2003-05-20 |
| * | coqide: toolbar/autosave | monate | 2003-05-07 |
| * | set_focus | marche | 2003-04-10 |
| * | coqide: command window maj. | monate | 2003-03-28 |
| * | coqide: maj commandes | monate | 2003-03-14 |
| * | coqide: fenetre de cmmandes . undo correct | monate | 2003-03-06 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |