aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-02-18Standardisation of constr_of_reference into constr_of_global + Moved Indmap a...herbelin
2005-02-18Standardisation of function names about structuresherbelin
2005-02-18Standardisation of function names about global references (especially, renami...herbelin
2005-02-18Moving centralised discharge into dispatched discharge_function; required to ...herbelin
2005-02-18Moving centralised discharge into dispatched discharge_function; required to ...herbelin
2005-02-18Déboggueur et code mortherbelin
2005-02-18Moving subst_inductive from tacinterp to inductiveops for better for reuse in...herbelin
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 20:39:38 +0000