aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-03-27Gestion maintenant purement fonctionnelle des implicites des point-fixes; ajo...herbelin
2004-03-27Export compute_arguments_scope pour utilisation local a la construction des i...herbelin
2004-03-27-dead code removed.sacerdot
2004-03-27majfilliatr
2004-03-27majfilliatr
2004-03-26Theory file for file A.B.C.v is put in A/B/C.theory.xml.sacerdot
2004-03-26Ajout option raw-comments pour supprimer affichage de <table>herbelin
2004-03-26Ajout option raw-comments pour supprimer affichage de <table>; typosherbelin
2004-03-26MAJ mot-clesherbelin
2004-03-26Bug <BR>; ajout option raw_comment pas d'affichage de <table>; MAJ mot-clesherbelin
2004-03-26Ajout exportation des 'theory.xml' + diversherbelin
2004-03-26Ajout entree pour exporter les debuts et fins de compilation en mode -xmlherbelin
2004-03-26Ajout entree pour exporter les commentaires en mode -xmlherbelin
2004-03-26Memorisation du type de variable (Hyp or Var)herbelin
2004-03-26*** empty log message ***barras
2004-03-26majfilliatr
2004-03-25Code mortherbelin
2004-03-25The DTD that describes the CIC (with Explicit Named Substitutions) format.sacerdot
2004-03-25Fix and Cofix blocks with mutually defined functions having the samesacerdot
2004-03-25me = andouilleletouzey
2004-03-25Selon les optims, le let-in peut avoir maintenant des argsletouzey
2004-03-25Updated.sacerdot
2004-03-25ProofTree2Xml is no longer directly used by Xmlcommand.sacerdot
2004-03-25ProofTree2Xml is no longer directly used by Xmlcommand.sacerdot
2004-03-25ProofTree2Xml is no longer directly used by Xmlcommand.sacerdot
2004-03-25No longer used.sacerdot
2004-03-25Dead code removed.sacerdot
2004-03-25Comment removed.sacerdot
2004-03-25majfilliatr
2004-03-25majfilliatr
2004-03-24MAJ commentairesherbelin
2004-03-24*** empty log message ***barras
2004-03-24MAJ Claudio pour v8herbelin
2004-03-24Reparation typo de HH dans MAJ de Claudioherbelin
2004-03-24MAJ Claudio pour v8herbelin
2004-03-24Utilisation du printer approprie a la version de syntaxeherbelin
2004-03-24bug de PP des fix (coqbugs #574)barras
2004-03-24*** empty log message ***barras
2004-03-24Nettoyageherbelin
2004-03-24Effacement tardif de ce fichier qui a ete transforme le 5 nov 2002 en une ver...herbelin
2004-03-24code mortherbelin
2004-03-24nouvelle commande Set Extraction Flag: reglage fins des optimsletouzey
2004-03-24majfilliatr
2004-03-23meme correction de bug, en moins bourrinletouzey
2004-03-23majfilliatr
2004-03-22PolyList -> Listletouzey
2004-03-22correction d'un bug faisant inliner minus, mult, ...letouzey
2004-03-22majfilliatr
2004-03-20petit rajeunissement du test d'extractionletouzey
2004-03-20majfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-22 08:24:25 +0000