aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2006-01-04Restauration des commandes de débogage PrintConstr et PrintPureConstr (suite...herbelin
2006-01-04Affichage concis des locations (si jamais ppterm/pprawterm sont débranchés)herbelin
2006-01-04Remise en place des commandes vernaculaires PrintConstr et PrintPureConstr (d...herbelin
2006-01-04Achèvement du commit incomplet de la révision 1.110 (cvs log toplevel/metas...herbelin
2006-01-03majcoq
2006-01-03Modification pour que l'ordre des éléments respecte l'ordre dans lequel ils...herbelin
2006-01-03Redéclaration de la notation à l'import pour être cohérent avec l'activat...herbelin
2006-01-02majcoq
2006-01-02Affichage de 'O' (lettre) comme '0' (chiffre)herbelin
2006-01-01majcoq
2005-12-31majcoq
2005-12-30majcoq
2005-12-30Application du souhait de transparence de well_founded_ltof (#1007)herbelin
2005-12-30Test bug #1025herbelin
2005-12-30Correction dépendance g_prim.ml4/q_coqast.ml4herbelin
2005-12-30Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de...herbelin
2005-12-30Mini-restructurationherbelin
2005-12-30Nettoyage coqlibherbelin
2005-12-30Nettoyage coqlibherbelin
2005-12-30Ajout booléens; nettoyageherbelin
2005-12-29majcoq
2005-12-29La distribution de Rocq/GRAPHS se fait via le serveur de contributions utilis...herbelin
2005-12-28majcoq
2005-12-28Commentaire mortherbelin
2005-12-28Remplacement Pp.qs par Pptactic.qsnewherbelin
2005-12-28MAJherbelin
2005-12-28Analyse des tests automatiques de compilation des contributionsherbelin
2005-12-28Remplacement -no-vm par -vmherbelin
2005-12-27majcoq
2005-12-27Autres suppressions de composantes du traducteurherbelin
2005-12-27Mini-test d'extractionherbelin
2005-12-26majcoq
2005-12-26Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...herbelin
2005-12-26Petite correction nom QuantHypArgType suite suppression traducteurherbelin
2005-12-26Achèvement suppression traducteur dans contrib/interfaceherbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur; changeme...herbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...herbelin
2005-12-26Suppression des fichiers .v en ancienne syntaxeherbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...herbelin
2005-12-26Suppression des fichiers .v en ancienne syntaxeherbelin
2005-12-26Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...herbelin
2005-12-25majcoq
2005-12-25Compatibilité ocaml 3.09herbelin
2005-12-25Traduction des noms v7 en noms v8herbelin
2005-12-25Adaptation des noms de OmegaLemmas aux noms de Z; traduction des noms v7 de Z...herbelin
2005-12-25Traduction des noms v7 de Z en noms v8herbelin
2005-12-25Traduction des noms v7 de R en noms v8herbelin
2005-12-25Utilisation de -notop pour imposer l'absence de module toplevelherbelin
2005-12-24majcoq
2005-12-24Changement de stratégie vis à vis du positionnement du module Top en mode b...herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 06:47:01 +0000