| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | maj |  filliatr | 2003-04-17 |
| * | BIG MAJ Extraction: |  letouzey | 2003-04-16 |
| * | maj | filliatr | 2003-04-10 |
| * | maj | filliatr | 2003-04-08 |
| * | Globalisation des noms de tactiques dans les définitions de tactiques |  herbelin | 2003-04-07 |
| * | maj | filliatr | 2003-04-04 |
| * | maj | filliatr | 2003-04-03 |
| * | maj | filliatr | 2003-04-01 |
| * | maj | filliatr | 2003-04-01 |
| * | maj | filliatr | 2003-03-31 |
| * | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | herbelin | 2003-03-29 |
| * | maj | filliatr | 2003-03-29 |
| * | maj | filliatr | 2003-03-26 |
| * | maj | filliatr | 2003-03-22 |
| * | Fin de la résurrection de Linear. |  corbinea | 2003-03-21 |
| * | maj | filliatr | 2003-03-15 |
| * | coqide: maj preferences du wizzard |  monate | 2003-03-14 |
| * | maj | filliatr | 2003-03-13 |
| * | * Ajout du traducteur nouvelle syntaxe * |  barras | 2003-03-12 |
| * | maj | filliatr | 2003-03-07 |
| * | coqide: fenetre de cmmandes . undo correct | monate | 2003-03-06 |
| * | coqide: le undo | monate | 2003-03-06 |
| * | maj | filliatr | 2003-03-06 |
| * | maj | filliatr | 2003-03-05 |
| * | maj | filliatr | 2003-03-04 |
| * | coqide: preferences support and optimizations | monate | 2003-03-03 |
| * | maj | filliatr | 2003-02-28 |
| * | The contribution of Pierre Courtieu on generating specialized induction schemes |  bertot | 2003-02-27 |
| * | maj | filliatr | 2003-02-27 |
| * | coqide: preliminary support for mnemonics. Edit menu. Context help now works ... | monate | 2003-02-26 |
| * | maj | filliatr | 2003-02-26 |
| * | Suppression des warnings a la compilation de contrib/linear | corbinea | 2003-02-25 |
| * | maj | filliatr | 2003-02-25 |
| * | Bringing Linear back to life (Still somewhat buggy). | corbinea | 2003-02-24 |
| * | aide contextuelle / menus compilation + print + export | filliatr | 2003-02-24 |
| * | *** empty log message *** | monate | 2003-02-24 |
| * | maj | filliatr | 2003-02-22 |
| * | CoqIDE: robustesse / multi-buffers / menus / ... (utilisable) | filliatr | 2003-02-21 |
| * | maj | filliatr | 2003-02-15 |
| * | MAJ pour Reals/SeqSeries.v |  desmettr | 2003-02-14 |
| * | Debugger plus informatif |  delahaye | 2003-02-13 |
| * | maj | filliatr | 2003-02-12 |
| * | maj | filliatr | 2003-02-06 |
| * | Ajout du traducteur | desmettr | 2003-02-05 |
| * | maj | filliatr | 2003-02-05 |
| * | interface GTK2 experimentale | monate | 2003-02-04 |
| * | maj | filliatr | 2003-02-03 |
| * | contrib/extraction/table utilise printer | letouzey | 2003-02-02 |
| * | maj | filliatr | 2003-01-24 |
| * | Ajout de LinearIntuition; Ajout de New(Tauto|Intuition|LinearIntuition). | corbinea | 2003-01-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |