aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* Renaming Print Canonical Structure into Print Canonical ProjectionsGravatar herbelin2005-02-18
* Moving centralised discharge into dispatched discharge_function; required to ...Gravatar herbelin2005-02-18
* Moving centralised discharge into dispatched discharge_function; required to ...Gravatar herbelin2005-02-18
* Standardisation of constr_of_reference into constr_of_global + Moved Indmap a...Gravatar herbelin2005-02-18
* Standardisation of function names about structuresGravatar herbelin2005-02-18
* Standardisation of function names about global references (especially, renami...Gravatar herbelin2005-02-18
* Moving centralised discharge into dispatched discharge_function; required to ...Gravatar herbelin2005-02-18
* Moving centralised discharge into dispatched discharge_function; required to ...Gravatar herbelin2005-02-18
* Déboggueur et code mortGravatar herbelin2005-02-18
* Moving subst_inductive from tacinterp to inductiveops for better for reuse in...Gravatar herbelin2005-02-18
* Ajout it_mkNamedProd_wo_LetInGravatar herbelin2005-02-18
* Ajout splay_lambdaGravatar herbelin2005-02-18
* Code mortGravatar herbelin2005-02-18
* Added map_named_contextGravatar herbelin2005-02-18
* Moved Indmap and ConstrMap from Libnames to Names for use in CookingGravatar herbelin2005-02-18
* Ajout constant printerGravatar herbelin2005-02-18
* q_*.cmo useless for making coqtopGravatar herbelin2005-02-18
* Added bigint printerGravatar herbelin2005-02-18
* majGravatar coq2005-02-17
* majGravatar coq2005-02-17
* Test bug #922Gravatar herbelin2005-02-17
* Correction bug #922 (problème dans depend) + formattage débogueurGravatar herbelin2005-02-17
* Bug affichage entiers négatifsGravatar herbelin2005-02-17
* majGravatar coq2005-02-16
* majGravatar coq2005-02-15
* majGravatar coq2005-02-14
* majGravatar coq2005-02-13
* majGravatar coq2005-02-12
* majGravatar coq2005-02-12
* Nouvelle mouture Print Canonical StructuresGravatar herbelin2005-02-12
* Uniformisation de destApplication en destAppGravatar herbelin2005-02-12
* Uniformisation de destApplication en destApp; simplification decompose_appGravatar herbelin2005-02-12
* Ajout Print Canonical StructuresGravatar herbelin2005-02-12
* majGravatar coq2005-02-11
* majGravatar coq2005-02-10
* Ajout du reset des numéros d'états dans reset_initial. Plus propreGravatar coq2005-02-10
* majGravatar coq2005-02-09
* majGravatar coq2005-02-08
* majGravatar coq2005-02-07
* Re-unboxing de BinPos (sauf Pplus): sinon, fait partir Coqbook pour des jours...Gravatar coq2005-02-07
* Bug affichage rawconstrGravatar herbelin2005-02-07
* majGravatar coq2005-02-06
* majGravatar coq2005-02-06
* Nettoyage et documentation de LibraryGravatar herbelin2005-02-06
* majGravatar coq2005-02-05
* Localisation des libraries compilées uniquement via la structure du loadpath...Gravatar herbelin2005-02-05
* majGravatar coq2005-02-04
* majGravatar coq2005-02-04
* Bug synchronisation fonction connectGravatar herbelin2005-02-04
* Ajout g_xml.ml4 et cic2Xml.mlGravatar herbelin2005-02-04
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-23 05:56:33 +0000