aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqide.ml
Commit message (Expand)AuthorAge
* changing the name of drgeocaml into GeoProofGravatar narboux2005-12-13
* coqide send a ack to tell drgeocaml it is receivedGravatar narboux2005-11-26
* *** empty log message ***Gravatar barras2005-11-25
* *** empty log message ***Gravatar barras2005-11-25
* bug de coqide sous windows (bad file descriptor)Gravatar barras2005-11-23
* implement support for drgeocamlGravatar narboux2005-11-17
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* improves shadows in the main windowGravatar narboux2005-07-15
* suppression de code commenteGravatar coq2005-06-03
* whelp + correction bug affichage de coqideGravatar coq2005-06-03
* Achèvement du déplacement de fonctionnalités unix et browser de ide vers libGravatar herbelin2005-05-20
* - Module/Declare Module syntax made more uniform:Gravatar sacerdot2005-01-06
* 2 bugs de reconnaissanceGravatar coq2004-10-15
* Abstraction vis a vis du type loc pour ocaml 3.08Gravatar herbelin2004-07-18
* Nouvelle en-têteGravatar herbelin2004-07-16
* warning dialog when save failsGravatar marche2004-04-06
* ide: silent behavior better, save icon, -byte worksGravatar marche2004-03-03
* bug fix find coqideGravatar coq2004-02-04
* highlightGravatar marche2004-02-04
* search windowGravatar coq2004-02-04
* ameliorations coqideGravatar coq2003-12-30
* coqide menus on golasGravatar marche2003-12-16
* plus de syntaxe v8Gravatar marche2003-12-12
* commandes de coqideGravatar marche2003-12-09
* preferencesGravatar marche2003-12-08
* bug de preferencs/font"Gravatar marche2003-12-08
* power associe a droiteGravatar marche2003-12-05
* changement menu et toolbarGravatar marche2003-12-04
* contrib jcfGravatar marche2003-12-01
* commands renomme en queries, command goto a la place de forward to backwardt oGravatar marche2003-11-28
* textesGravatar marche2003-11-25
* aboutGravatar marche2003-11-24
* tentative de completion ESC-/ a la emacsGravatar letouzey2003-11-24
* Conjecture declare maintenant un axiome; reorganisation VernacDefinitionGravatar herbelin2003-10-23
* Syntaxe VernacEndProof changee pour ajout mot-cle 'Admitted'Gravatar herbelin2003-10-09
* coqide auto complete initial bug fixGravatar marche2003-09-19
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* option pour supprimer les menus contextuels sur les butsGravatar marche2003-09-03
* auto completion disabled par defautGravatar marche2003-09-02
* coqide: new search and AutoCompletionGravatar monate2003-07-18
* coqide: fixed problems with -R -I and coqide interactionGravatar monate2003-07-16
* coqide: warn when using locale or manual charsetGravatar monate2003-07-10
* Coqide : focus bug in goal windowGravatar monate2003-07-07
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* coqide : status bar more informative, forbid Section/Module in proo modeGravatar monate2003-06-25
* undo de "Time tactic"Gravatar filliatr2003-06-19
* typoGravatar filliatr2003-06-19
* *** empty log message ***Gravatar monate2003-06-18
* coqide: indentationGravatar monate2003-06-13
* coqide: about now displays versions/Fix for alt-enterGravatar monate2003-06-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 07:12:30 +0000