aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2004-09-17restructuration des printers: proofs passe avant parsingbarras
2004-09-03New command "Add Relation ..." (for the new implementation of setoid_*).sacerdot
2004-07-23"Print Setoids" command added.sacerdot
2004-07-18Abstraction vis a vis du type loc pour ocaml 3.08herbelin
2004-07-16Nouvelle en-têteherbelin
2004-07-08added commands to idecorbinea
2004-05-03but autoamtics tactics savingmarche
2004-04-30Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...herbelin
2004-04-13Ajout codingherbelin
2004-04-13Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...herbelin
2004-04-06warning dialog when save failsmarche
2004-03-16mise a jour des menusmohring
2004-03-15ajout des Print Scopes dans liste commandes sans effetmohring
2004-03-03ide: silent behavior better, save icon, -byte worksmarche
2004-02-12Localisation des erreurs d'internalisation des notations de tactiquesherbelin
2004-02-04bug fix find coqidecoq
2004-02-04highlightmarche
2004-02-04search windowcoq
2004-01-29pour ide sous windowscoq
2004-01-20coqide utf8marche
2004-01-13Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...herbelin
2004-01-02meilleure presentation des commentaires du traducteurbarras
2003-12-30ameliorations coqidecoq
2003-12-16coqide menus on golasmarche
2003-12-12plus de syntaxe v8marche
2003-12-09commandes de coqidemarche
2003-12-08preferencesmarche
2003-12-08bug de preferencs/font"marche
2003-12-08pas de Goal pendant une preuvefilliatr
2003-12-05power associe a droitemarche
2003-12-04changement menu et toolbarmarche
2003-12-01contrib jcfmarche
2003-11-28commands renomme en queries, command goto a la place de forward to backwardt omarche
2003-11-25textesmarche
2003-11-24aboutmarche
2003-11-24tentative de completion ESC-/ a la emacsletouzey
2003-11-18.v8herbelin
2003-11-03Check en plus parmi les keywordsletouzey
2003-10-23Conjecture declare maintenant un axiome; reorganisation VernacDefinitionherbelin
2003-10-13Deplacement next_global_ident_away dans Termopsherbelin
2003-10-09Syntaxe VernacEndProof changee pour ajout mot-cle 'Admitted'herbelin
2003-09-19coqide auto complete initial bug fixmarche
2003-09-19Coqide : les nouveaute d'aoutmonate
2003-09-05highlighting de Extractionletouzey
2003-09-03option pour supprimer les menus contextuels sur les butsmarche
2003-09-02auto completion disabled par defautmarche
2003-07-18coqide: new search and AutoCompletionmonate
2003-07-16coqide: fixed problems with -R -I and coqide interactionmonate
2003-07-10coqide: warn when using locale or manual charsetmonate
2003-07-07Coqide : focus bug in goal windowmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:42:05 +0000