aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Export string_index_fromGravatar herbelin2003-11-26
* Marge presqu'a 80, maximum indentation a 50 pour une meilleure lisibiliteGravatar herbelin2003-10-16
* Ajout projections de tripletGravatar herbelin2003-10-13
* reparation Undo suiteGravatar herbelin2003-10-11
* Bug undoGravatar herbelin2003-10-10
* Gestion en temps constant de la pile des UnfoGravatar herbelin2003-10-10
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* Passage à la V8 par défautGravatar herbelin2003-09-22
* Bug PR#324Gravatar herbelin2003-09-14
* Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...Gravatar herbelin2003-09-12
* warning vers std_errGravatar herbelin2003-09-10
* Positionnement precoce de l'option -v7Gravatar herbelin2003-08-14
* Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsGravatar herbelin2003-08-11
* Ajout option_fold_rightGravatar herbelin2003-08-10
* Ajout option translate_syntax pour caractériser l'interprétation du traduct...Gravatar herbelin2003-06-12
* Module Bij inutiliseGravatar herbelin2003-06-10
* Ajout fonctions de recherche de sous-chaines (merci a Jacek)Gravatar herbelin2003-06-10
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* Mise en place d'un 2ème traducteur à l'essai (activable avec -ftranslate2)Gravatar herbelin2003-04-29
* Ajout is_ident_tailGravatar herbelin2003-04-29
* Added the Ground tactic.Gravatar corbinea2003-04-25
* une fonction list_skipn qui zappe les n premiers elements d'une listeGravatar letouzey2003-04-16
* test: un boolean et une fonction check_for_interrupt inseree dans la conversi...Gravatar filliatr2003-04-08
* Déplacement with_option dans OptionsGravatar herbelin2003-04-01
* Ajout de Set Print WidthGravatar gregoire2003-03-26
* *** empty log message ***Gravatar barras2003-03-21
* *** empty log message ***Gravatar barras2003-03-12
* Ajout du traducteurGravatar desmettr2003-02-05
* interface GTK2 experimentaleGravatar monate2003-02-04
* Ajout options -v7 et -v8, et commandes V7only et V8onlyGravatar herbelin2002-12-10
* Ajout options -v7 et -v8, et commandes V7only et V8onlyGravatar herbelin2002-12-10
* Take notations into account: numbers and the CNotation operator.Gravatar bertot2002-12-09
* A usage cosmetiqueGravatar letouzey2002-11-28
* Ajout list_map_assocGravatar herbelin2002-11-26
* Ajout option_consGravatar herbelin2002-11-24
* Ajout zeroGravatar herbelin2002-11-24
* Ajout option_fold_left2Gravatar herbelin2002-11-20
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Nouvelle option -xml à coqtop pour compiler un développement enGravatar herbelin2002-11-05
* Ajout optino_iterGravatar herbelin2002-10-14
* Bug affichage du chiffre 0Gravatar herbelin2002-10-13
* Mise en place de 'Scope' pour gérer des ensembles de notations - phase 1; ha...Gravatar herbelin2002-10-13
* Lazy manuelles dans le codeGravatar coq2002-10-07
* Lazy experimentale temporaire...Gravatar coq2002-10-05
* retablissement de Correctness (pas encore teste' cependant)Gravatar filliatr2002-09-18
* Réintroduction de l'expansion des variables de shell et de '~' dans lesGravatar herbelin2002-09-16
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Changement Filename.is_relative en Filename.is_implicit, plus pertinentGravatar herbelin2002-05-27
* Amélioration des messages d'erreurs concernant l'inférence des implicitesGravatar herbelin2002-04-10