Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |
* | removes all references to ctast.ml the Makefile has been updated accordingly. | bertot | 2003-01-22 |
* | MAJ pour renommage Rcomplet | desmettr | 2003-01-22 |
* | maj | filliatr | 2003-01-22 |
* | Extraction des modules, enfin ! | letouzey | 2003-01-22 |
* | Binome.v -> Binomial.v | desmettr | 2003-01-21 |
* | maj | filliatr | 2003-01-21 |
* | maj | filliatr | 2003-01-20 |
* | maj | filliatr | 2003-01-18 |
* | maj | filliatr | 2003-01-17 |
* | Renommage de RealsB en Rbase | desmettr | 2003-01-16 |
* | maj | filliatr | 2003-01-16 |
* | maj | filliatr | 2003-01-10 |
* | maj | filliatr | 2003-01-08 |
* | maj | filliatr | 2003-01-07 |
* | bit vectors | filliatr | 2003-01-06 |
* | maj | filliatr | 2002-12-23 |
* | maj | filliatr | 2002-12-21 |