aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-02-07majcoq
2005-02-07Re-unboxing de BinPos (sauf Pplus): sinon, fait partir Coqbook pour des jours...coq
2005-02-07Bug affichage rawconstrherbelin
2005-02-06majcoq
2005-02-06majcoq
2005-02-06Nettoyage et documentation de Libraryherbelin
2005-02-05majcoq
2005-02-05Localisation des libraries compilées uniquement via la structure du loadpath...herbelin
2005-02-04majcoq
2005-02-04majcoq
2005-02-04Bug synchronisation fonction connectherbelin
2005-02-04Ajout g_xml.ml4 et cic2Xml.mlherbelin
2005-02-04Ajout g_xml.ml4 et cic2Xml.mlherbelin
2005-02-04Ajout printer direct cic vers xmlherbelin
2005-02-04Export du printer xml vers tacinterpherbelin
2005-02-04Ajout constructeur External pour appel outil externe à Coqherbelin
2005-02-04Parseur pour la DTD XML de constr et un peu plus pour les arguments de tactiquesherbelin
2005-02-04Ajout constructeur External pour appel outil externe à Coqherbelin
2005-02-04Ajout d'un processus de communication entre Coq et un outil externeherbelin
2005-02-04Suppression de l'Unboxed des opérations sur positive (cf bug 898)herbelin
2005-02-04Essai d'utilisation de 'where' pour les notationsherbelin
2005-02-03majcoq
2005-02-03Clarification des niveaux pr_constr et pr_lconstr en v8 dans pr_prim_rule (cu...herbelin
2005-02-03Tactics.v bidon pour accomoder make world7herbelin
2005-02-03Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateursherbelin
2005-02-03legere simplification des preuves de le_S_n et pred_leletouzey
2005-02-03Implemented a test for "Add [Semi] Setoid Ring" to check that the givensacerdot
2005-02-03Trivial bug fixed in "Add [Semi] Setoid Ring". An "&" in place of an "||"sacerdot
2005-02-03Nouveau fichier Tactics.v collectant les tactiques utiles des utilisateursherbelin
2005-02-02test de la bonne position des vars de ltac entre les vars et les relsherbelin
2005-02-02majcoq
2005-02-02The statement of the compatibility theorem for addition and multiplicationsacerdot
2005-02-02 setoid_rewrite t; [tac]sacerdot
2005-02-02Correction de la précédence des contexts de variables rel, ltac et varherbelin
2005-02-01majcoq
2005-02-01Application du patch ebuild coq-8.0-r1 de la gentoo (uniformisation du Makefile)herbelin
2005-01-31majcoq
2005-01-31Petit changement dans la gestion des nouveaux labels d'état (pour lecoq
2005-01-30majcoq
2005-01-29majcoq
2005-01-28majcoq
2005-01-27majcoq
2005-01-26majcoq
2005-01-26Ajout cas VernacBackToherbelin
2005-01-25majcoq
2005-01-25Ajout dependance LIBCOQRUN pour coqide et coq-interfaceherbelin
2005-01-25sed ne connait pas '+' sur macosxherbelin
2005-01-24majcoq
2005-01-23majcoq
2005-01-22majcoq
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 03:39:31 +0000