aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-02-27Retour nouvel afficheurherbelin
2003-02-27Restructuration des hints pour qu'Auto fasse moins de détours et lesherbelin
2003-02-27majfilliatr
2003-02-26Changed Tauto so it displays less 'Unfold not iff'corbinea
2003-02-26coqide: preliminary support for mnemonics. Edit menu. Context help now works ...monate
2003-02-26majfilliatr
2003-02-25ide:copy/paste fixmonate
2003-02-25Suppression des warnings a la compilation de contrib/linearcorbinea
2003-02-25majfilliatr
2003-02-24coqide : aide sur selection ou sur motmonate
2003-02-24Bringing Linear back to life (Still somewhat buggy).corbinea
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
2003-02-24on sait se refaire uniquement si option -ffilliatr
2003-02-24coq_makefile dit comment faire le .depend (evite l'echec lorsquefilliatr
2003-02-24False dependencies in summarycoq
2003-02-24ide changesmonate
2003-02-24ctrl-k like Emacs in coqidemonate
2003-02-24idemonate
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-08 09:36:37 +0000