Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Enhancement of the Ground tactic, addition of GTauto and GIntuition. | 2003-05-07 | ||
* | fichier de pref coq IDE en ASCII (ENFIN) | 2003-04-28 | ||
* | maj | 2003-04-28 | ||
* | maj | 2003-04-26 | ||
* | Added the Ground tactic. | 2003-04-25 | ||
* | maj | 2003-04-18 | ||
* | maj | 2003-04-17 | ||
* | BIG MAJ Extraction: | 2003-04-16 | ||
* | maj | 2003-04-10 | ||
* | maj | 2003-04-08 | ||
* | Globalisation des noms de tactiques dans les définitions de tactiques | 2003-04-07 | ||
* | maj | 2003-04-04 | ||
* | maj | 2003-04-03 | ||
* | maj | 2003-04-01 | ||
* | maj | 2003-04-01 | ||
* | maj | 2003-03-31 | ||
* | Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar) | 2003-03-29 | ||
* | maj | 2003-03-29 | ||
* | maj | 2003-03-26 | ||
* | maj | 2003-03-22 | ||
* | Fin de la résurrection de Linear. | 2003-03-21 | ||
* | maj | 2003-03-15 | ||
* | coqide: maj preferences du wizzard | 2003-03-14 | ||
* | maj | 2003-03-13 | ||
* | * Ajout du traducteur nouvelle syntaxe * | 2003-03-12 | ||
* | maj | 2003-03-07 | ||
* | coqide: fenetre de cmmandes . undo correct | 2003-03-06 | ||
* | coqide: le undo | 2003-03-06 | ||
* | maj | 2003-03-06 | ||
* | maj | 2003-03-05 | ||
* | maj | 2003-03-04 | ||
* | coqide: preferences support and optimizations | 2003-03-03 | ||
* | maj | 2003-02-28 | ||
* | The contribution of Pierre Courtieu on generating specialized induction schemes | 2003-02-27 | ||
* | maj | 2003-02-27 | ||
* | coqide: preliminary support for mnemonics. Edit menu. Context help now works ... | 2003-02-26 | ||
* | maj | 2003-02-26 | ||
* | Suppression des warnings a la compilation de contrib/linear | 2003-02-25 | ||
* | maj | 2003-02-25 | ||
* | Bringing Linear back to life (Still somewhat buggy). | 2003-02-24 | ||
* | aide contextuelle / menus compilation + print + export | 2003-02-24 | ||
* | *** empty log message *** | 2003-02-24 | ||
* | maj | 2003-02-22 | ||
* | CoqIDE: robustesse / multi-buffers / menus / ... (utilisable) | 2003-02-21 | ||
* | maj | 2003-02-15 | ||
* | MAJ pour Reals/SeqSeries.v | 2003-02-14 | ||
* | Debugger plus informatif | 2003-02-13 | ||
* | maj | 2003-02-12 | ||
* | maj | 2003-02-06 | ||
* | Ajout du traducteur | 2003-02-05 |