aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-08-31majfilliatr
2004-08-30majfilliatr
2004-08-29majfilliatr
2004-08-27majfilliatr
2004-08-26majfilliatr
2004-08-26majfilliatr
2004-08-26Dépendance en pa_ifdef dans la ligne camlp4deps de q_coqast induit make depe...herbelin
2004-08-25majfilliatr
2004-08-24majfilliatr
2004-08-24Application du patch de Michel Mauny pour pouvoir compiler en ocaml 3.08.1herbelin
2004-08-24Expansion du prédicat du 'match' vis à vis de la dépendance en le terme fi...herbelin
2004-08-24Prise en compte expansion du prédicat du 'match' vis à vis de la dépendanc...herbelin
2004-08-24Ajout nom standard mkLambda_name pour lambda_name (et idem pour prod)herbelin
2004-08-24Deplacement des fonctions de typage des predicate de Cases a la V7 de inducti...herbelin
2004-08-24Calling setoid_rewrite on a term H whose type (eq x y) was not an applicationsacerdot
2004-08-23majfilliatr
2004-08-23Précisions message d'erreurherbelin
2004-08-23Interpretation et affichage corrects des notations LetTuple, affichage des no...herbelin
2004-08-23Pas de notation v7 si purement en v8herbelin
2004-08-23Correction bug #830 : les noms des implicites temporaires étaient inconnus a...herbelin
2004-08-23The previous test file was truncated. New commit to fix the previoussacerdot
2004-08-06Amélioration message d'erreur objet de récursion de type non inductifherbelin
2004-08-06Apply implicit types to local binders tooherbelin
2004-08-03Header V8herbelin
2004-08-03Protection contre un indice d'evar égal à 0herbelin
2004-08-03Zbool déjà dans ZArith_baseherbelin
2004-08-03Minimisation utilisation NNPPherbelin
2004-08-03Déclaration d'obsolescenceherbelin
2004-08-03Typoherbelin
2004-08-03Refherbelin
2004-08-03Bug indexation des Require Importherbelin
2004-08-01Commentaires coqdocherbelin
2004-08-01Commentaires coqdocherbelin
2004-07-30Protection erreur find_eq_data dans decompEqThen et uniformisation messages d...herbelin
2004-07-30MAJherbelin
2004-07-30Unbind the macosx dmg after creation to be able to build it again safelyherbelin
2004-07-29majfilliatr
2004-07-29majfilliatr
2004-07-29Distinction location ocaml 3.08 ou pas (suite)herbelin
2004-07-29MAJ cible patchherbelin
2004-07-29Protection unlocherbelin
2004-07-29Distinction location ocaml 3.08 ou pasherbelin
2004-07-29Bug join_locherbelin
2004-07-28majfilliatr
2004-07-28Bug tactique fixherbelin
2004-07-27majfilliatr
2004-07-27Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...herbelin
2004-07-26majfilliatr
2004-07-25majfilliatr
2004-07-25majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 19:35:04 +0000