aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-02-18Ajout it_mkNamedProd_wo_LetInherbelin
2005-02-18Ajout splay_lambdaherbelin
2005-02-18Code mortherbelin
2005-02-18Added map_named_contextherbelin
2005-02-18Moved Indmap and ConstrMap from Libnames to Names for use in Cookingherbelin
2005-02-18Ajout constant printerherbelin
2005-02-18q_*.cmo useless for making coqtopherbelin
2005-02-18Added bigint printerherbelin
2005-02-17majcoq
2005-02-17majcoq
2005-02-17Test bug #922herbelin
2005-02-17Correction bug #922 (problème dans depend) + formattage débogueurherbelin
2005-02-17Bug affichage entiers négatifsherbelin
2005-02-16majcoq
2005-02-15majcoq
2005-02-14majcoq
2005-02-13majcoq
2005-02-12majcoq
2005-02-12majcoq
2005-02-12Nouvelle mouture Print Canonical Structuresherbelin
2005-02-12Uniformisation de destApplication en destAppherbelin
2005-02-12Uniformisation de destApplication en destApp; simplification decompose_appherbelin
2005-02-12Ajout Print Canonical Structuresherbelin
2005-02-11majcoq
2005-02-10majcoq
2005-02-10Ajout du reset des numéros d'états dans reset_initial. Plus proprecoq
2005-02-09majcoq
2005-02-08majcoq
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-05 14:13:16 +0000