aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Let doit etre utilise dans le mode de preuveGravatar delahaye2001-01-03
* Rattrapage d'erreur pour le Case + Eval Compute in pour DefinitionGravatar delahaye2001-01-03
* Ajout du Let pour le langage de tactiquesGravatar delahaye2000-12-29
* AméliorationsGravatar herbelin2000-12-27
* Bug installation non localeGravatar herbelin2000-12-27
* MAJGravatar herbelin2000-12-26
* Dernière MAJGravatar herbelin2000-12-26
* MAJGravatar herbelin2000-12-26
* Bug de contextesGravatar herbelin2000-12-26
* MAJGravatar herbelin2000-12-26
* Elimination des coupuresGravatar herbelin2000-12-26
* Déplacement du type stack de Reduction vers Closure et utilisation pour accÃ...Gravatar herbelin2000-12-26
* On n'évite plus les globaux dans Intro, mais on les évite dans AbstractGravatar herbelin2000-12-26
* Pattern sera mieux dans Pretyping; relâchement head_pattern_boundGravatar herbelin2000-12-26
* Suppression de la beta-iota avant appel de head_pattern_bound, ce sera ce der...Gravatar herbelin2000-12-26
* MAJGravatar herbelin2000-12-26
* Command -> ConstrGravatar herbelin2000-12-25
* Retrait du test d'existence "is_global" dans Intro ( fresh_id ) dGravatar herbelin2000-12-25
* Normalisation betaiota du pattern avant enregistrement comme hint (certains d...Gravatar herbelin2000-12-25
* bug head_pattern_boundGravatar herbelin2000-12-25
* Modifs sur le langage de tactiques et pas de "ë" dans MicaelaGravatar delahaye2000-12-25
* Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifsGravatar delahaye2000-12-25
* Bug confusion existS/sigSGravatar herbelin2000-12-25
* Token n'est plus un keywordGravatar herbelin2000-12-25
* Command -> ConstrGravatar herbelin2000-12-25
* MAJGravatar herbelin2000-12-25
* Remplacement de debug en assertGravatar herbelin2000-12-25
* Bug discharge process_classGravatar herbelin2000-12-25
* find_section_variable : un traducteur id -> sp pour variables de section; var...Gravatar herbelin2000-12-25
* Alias variable_pathGravatar herbelin2000-12-25
* Effet réorganisation ClassopsGravatar herbelin2000-12-25
* Un nom long pour les variables de section qui font classe ou coercion; réorg...Gravatar herbelin2000-12-25
* Bug vieux MatchGravatar herbelin2000-12-25
* Bug prédicatGravatar herbelin2000-12-25
* Traducteur automatique de scripts vernacGravatar herbelin2000-12-25
* *** empty log message ***Gravatar mayero2000-12-22
* TypoGravatar herbelin2000-12-22
* MAJGravatar herbelin2000-12-22
* cleanallGravatar herbelin2000-12-22
* Insertion COQPATHPREFIX pour isntallation localeGravatar herbelin2000-12-22
* OublisGravatar herbelin2000-12-22
* MAJ V7Gravatar herbelin2000-12-22
* Mauvais numéro de version de camlp4 requisGravatar herbelin2000-12-22
* Pour créer les archives distribuéesGravatar herbelin2000-12-22
* Novembre -> DécembreGravatar herbelin2000-12-22
* Création...Gravatar herbelin2000-12-22
* MAJGravatar herbelin2000-12-22
* Traduction en francais de 'CHANGES' dont le contenu était en françaisGravatar herbelin2000-12-22
* Re-MAJGravatar herbelin2000-12-21
* MAJGravatar herbelin2000-12-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 17:00:02 +0000