aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-02-24*** empty log message ***monate
2003-02-22majfilliatr
2003-02-21CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)filliatr
2003-02-21bugs/améliorations trouvés via FTAletouzey
2003-02-17Affinement entree annotherbelin
2003-02-15majfilliatr
2003-02-14prise en compte des sous-repertoires Coq de maniere dynamiquefilliatr
2003-02-14Ajout du theoreme de Cesarodesmettr
2003-02-14MAJ pour Reals/SeqSeries.vdesmettr
2003-02-13Test de non bouclage malencontreux dans les niveauxherbelin
2003-02-13Modifications dans une tactique topleveldelahaye
2003-02-13Correction d'un bug introduit dans le backtracking d'occurrencedelahaye
2003-02-13Chargement dynamique de .cmadelahaye
2003-02-13Debugger plus informatifdelahaye
2003-02-12majfilliatr
2003-02-11Undo dans Coq IDEfilliatr
2003-02-08Bug Renameherbelin
2003-02-08Bug Renameherbelin
2003-02-06MAJherbelin
2003-02-06commentairecoq
2003-02-06majfilliatr
2003-02-05updatedesmettr
2003-02-05Ajout du traducteurdesmettr
2003-02-05Suppression de l'élimination des existentiels dans LinearIntuition.corbinea
2003-02-05Automatisation de la création de l'image avec le package MacOS-Xherbelin
2003-02-05majfilliatr
2003-02-04interface GTK2 experimentalemonate
2003-02-04MAJ Windowsherbelin
2003-02-04MAJherbelin
2003-02-04Contournement de ocamlmktop qui plante sous win32herbelin
2003-02-04MAJ pour windowsherbelin
2003-02-03-reals allfilliatr
2003-02-03make check utilise toujours le Coq localfilliatr
2003-02-03majfilliatr
2003-02-03release 7.4; changement magic numberfilliatr
2003-02-03Added a clause for VernacDefineModule, but with an error as result.bertot
2003-02-03majfilliatr
2003-02-03maj status de l'extraction des modulesletouzey
2003-02-03hack horrible pour renommage dans Modules Types et Functeursletouzey
2003-02-03encore un long_knletouzey
2003-02-02contrib/extraction/table utilise printerletouzey
2003-02-02plus d'environment fixe cur_env mais un environment evolutifletouzey
2003-02-02Bug affichage let destructurantherbelin
2003-02-01Backtrack sur le filtrage des applications partielles (change Tauto/Intuition)herbelin
2003-01-31Ajout d'un filtrage d'application partielleherbelin
2003-01-31MAJherbelin
2003-01-31MAJherbelin
2003-01-31MAJherbelin
2003-01-31Unification plus efficace vis à vis du LetInherbelin
2003-01-31preparation pkg deb for 7.4courant
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 21:39:48 +0000