aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2005-12-24Tentative de réparation du bug #1025: it seems like that a casted module sho...herbelin
2005-12-23majcoq
2005-12-23*** empty log message ***herbelin
2005-12-23Débranchement des parseurs de syntaxe v7herbelin
2005-12-23Simplifification de vernac_expr li l'abandon du traducteurherbelin
2005-12-23MAJ restructuration constrintern.mlherbelin
2005-12-23Vérification qu'un module est ouvert avant d'insérer une déclaration nommÃ...herbelin
2005-12-23Correction printer des Tactic Notationherbelin
2005-12-23Correction pr_module pour traducteurherbelin
2005-12-23Test printing of Tactic Notation which was broken until dec 2005herbelin
2005-12-22majcoq
2005-12-22Abandon tests syntaxe v7 (correction)herbelin
2005-12-22Contrepartie de la suppression des boites automatiques dans formatherbelin
2005-12-22option '-top dir' now works also in batch mode (2ème)herbelin
2005-12-22Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2005-12-22option '-top dir' now works also in batch mode; it is even necessary to ensur...herbelin
2005-12-22Double bug de interp_modifiers anciennement caché par un troisième que les ...herbelin
2005-12-22Correction bugs commit précédentherbelin
2005-12-21Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8herbelin
2005-12-21Abandon tests syntaxe v7; ajouts tests modulesherbelin
2005-12-21majcoq
2005-12-21MAJ syntaxe v7 avant activation en syntaxe v8herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-01 11:46:26 +0000