aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-11-14Ordre standard pour l'associativiteherbelin
2003-11-14Quelques oublis pour que les notations marchent bienherbelin
2003-11-14Compatibilite %Therbelin
2003-11-14Bug implicit argumentsherbelin
2003-11-14Correction chemin de Zherbelin
2003-11-14Automatisation de la traduction de iff_trans; renommage IFherbelin
2003-11-14Backtrack sur Peanoherbelin
2003-11-14Nouveaux lemmes 'canoniques'; compatibiliteherbelin
2003-11-14Suppression renommages dans Peanoherbelin
2003-11-14Bug parsing castherbelin
2003-11-14majfilliatr
2003-11-13moins unaire au niveau 35, tactiques simple_induction et simple_destruct, Loc...barras
2003-11-13Traduction Print Grammarherbelin
2003-11-13Oubli report Nul/Posherbelin
2003-11-13Niveau V8herbelin
2003-11-13Fermeture de la section maintenant necessaireherbelin
2003-11-13factorisation et generalisation des clausesbarras
2003-11-13Passage a un SStream predicatifherbelin
2003-11-13MAJherbelin
2003-11-13Requireherbelin
2003-11-13qq petit ajouts à Zdivletouzey
2003-11-13majfilliatr
2003-11-12MAJ INZherbelin
2003-11-12MAJherbelin
2003-11-12Bug TacIdherbelin
2003-11-12Ajout lemme projectionsherbelin
2003-11-12%type au lieu de %Therbelin
2003-11-12Lemmes dans un sens plus naturelherbelin
2003-11-12Suppression du "..." final !herbelin
2003-11-12Restructuration ZArithherbelin
2003-11-12Cosmetiqueherbelin
2003-11-12Noms canoniques pour les variables lieesherbelin
2003-11-12Independance vis a vis noms variables liees; partie sur bool dans Zboolherbelin
2003-11-12Noms/énoncés plus canoniquesherbelin
2003-11-12Independance vis a vis noms variables lieesherbelin
2003-11-12Ajout lemmes; independance vis a vis noms variables liees; restructurationherbelin
2003-11-12Ajout partie sur bool anciennement dans Zmischerbelin
2003-11-12Ajout lemmes; independance vis a vis noms variables lieesherbelin
2003-11-12Nouvelle et derniere vague de renommageherbelin
2003-11-12Prise en compte des alias syntaxiques vers des references dans divers lieux d...herbelin
2003-11-12Mise en place systeme de renommage des noms de variables liees dans la biblio...herbelin
2003-11-12Mise en place systeme de renommage des noms de variables liees dans la biblio...herbelin
2003-11-12MAJ ZArith; contraintes plus faibles pour decider la capacite a interpreter l...herbelin
2003-11-12Test de la reference principale plutot que le module dans lequel se trouve la...herbelin
2003-11-12MAJherbelin
2003-11-12Idtac peut prendre un argument à affichernarboux
2003-11-12On sait jamaisherbelin
2003-11-12conseille l'utilisation de la release officielle 2.2.0 de lablgtkletouzey
2003-11-12petits changements de syntaxebarras
2003-11-12deux doigts d'extraction dans le CHANGES pour la V8letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 13:53:35 +0000