aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* ajout option_compareGravatar herbelin2002-02-28
* - Reforme de la gestion des args recursifs (via arbres reguliers)Gravatar barras2002-02-14
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* ajout list_split3, pr_semicolon et pr_barGravatar herbelin2002-01-30
* List.map avec ordre des effets de bord garantiGravatar herbelin2002-01-18
* Le chargement des coercions est nécessaire même si le module n'est pas ouvertGravatar herbelin2002-01-18
* code redondant avec is_verboseGravatar herbelin2002-01-18
* Ajout flushGravatar herbelin2002-01-10
* reparation du make depend et du .dependGravatar letouzey2001-12-19
* compat ocaml 3.03Gravatar filliatr2001-12-13
* nouvel algo de conversion plus uniformeGravatar barras2001-11-29
* Nouvelle fonctionGravatar herbelin2001-10-17
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* TransparentGravatar barras2001-09-20