aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-12-26MAJherbelin
2000-12-26Bug de contextesherbelin
2000-12-26MAJherbelin
2000-12-26Elimination des coupuresherbelin
2000-12-26DĂ©placement du type stack de Reduction vers Closure et utilisation pour accĂ...herbelin
2000-12-26On n'Ă©vite plus les globaux dans Intro, mais on les Ă©vite dans Abstractherbelin
2000-12-26Pattern sera mieux dans Pretyping; relâchement head_pattern_boundherbelin
2000-12-26Suppression de la beta-iota avant appel de head_pattern_bound, ce sera ce der...herbelin
2000-12-26MAJherbelin
2000-12-25Command -> Constrherbelin
2000-12-25Retrait du test d'existence "is_global" dans Intro ( fresh_id ) dherbelin
2000-12-25Normalisation betaiota du pattern avant enregistrement comme hint (certains d...herbelin
2000-12-25bug head_pattern_boundherbelin
2000-12-25Modifs sur le langage de tactiques et pas de "Ă«" dans Micaeladelahaye
2000-12-25Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifsdelahaye
2000-12-25Bug confusion existS/sigSherbelin
2000-12-25Token n'est plus un keywordherbelin
2000-12-25Command -> Constrherbelin
2000-12-25MAJherbelin
2000-12-25Remplacement de debug en assertherbelin
2000-12-25Bug discharge process_classherbelin
2000-12-25find_section_variable : un traducteur id -> sp pour variables de section; var...herbelin
2000-12-25Alias variable_pathherbelin
2000-12-25Effet réorganisation Classopsherbelin
2000-12-25Un nom long pour les variables de section qui font classe ou coercion; réorg...herbelin
2000-12-25Bug vieux Matchherbelin
2000-12-25Bug prédicatherbelin
2000-12-25Traducteur automatique de scripts vernacherbelin
2000-12-22*** empty log message ***mayero
2000-12-22Typoherbelin
2000-12-22MAJherbelin
2000-12-22cleanallherbelin
2000-12-22Insertion COQPATHPREFIX pour isntallation localeherbelin
2000-12-22Oublisherbelin
2000-12-22MAJ V7herbelin
2000-12-22Mauvais numéro de version de camlp4 requisherbelin
2000-12-22Pour créer les archives distribuéesherbelin
2000-12-22Novembre -> DĂ©cembreherbelin
2000-12-22Création...herbelin
2000-12-22MAJherbelin
2000-12-22Traduction en francais de 'CHANGES' dont le contenu était en françaisherbelin
2000-12-21Re-MAJherbelin
2000-12-21MAJherbelin
2000-12-21Bug d'affichage Ă  cause des << ... >>herbelin
2000-12-21Qualification des inductifs dans Print indherbelin
2000-12-20MAJherbelin
2000-12-20MAJherbelin
2000-12-20Toujours Inductionherbelin
2000-12-20espacementsherbelin
2000-12-20Bug prédicat old Case/Matchherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-26 15:38:16 +0000