aboutsummaryrefslogtreecommitdiff
path: root/contrib/extraction/modutil.ml
AgeCommit message (Expand)Author
2007-05-11Processor integers + Print assumption (see coqdev mailing list for the aspiwack
2006-12-17reparation bug 1239letouzey
2006-04-20decoration des Tdummy pour pouvoir tuer tous les args de types (cf MapAVL.empty)letouzey
2005-12-01amelioration de la generation des unsafeCoerceletouzey
2005-11-17merci les warnings de 3.09 ...letouzey
2004-11-16Names.substitution (and related functions) and Term.subst_mps moved tosacerdot
2004-11-16IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).sacerdot
2004-07-16Nouvelle en-têteherbelin
2004-07-14ajout des unsafeCoerce + 2 bugs haskellletouzey
2004-06-28Modules et Records: gros changements pour prendre en compte le nouveau mind_r...letouzey
2004-03-24nouvelle commande Set Extraction Flag: reglage fins des optimsletouzey
2004-03-23meme correction de bug, en moins bourrinletouzey
2004-03-22correction d'un bug faisant inliner minus, mult, ...letouzey
2003-11-10révision du traitement des axiomes non réalisésletouzey
2003-07-10renommage des modules 1er niveau en monolithiqueletouzey
2003-06-12enieme correction du nommage modulaireletouzey
2003-04-16BIG MAJ Extraction:letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 18:54:47 +0000