aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
...
* preferencesGravatar marche2003-12-08
* bug de preferencs/font"Gravatar marche2003-12-08
* pas de Goal pendant une preuveGravatar filliatr2003-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
* .v8Gravatar herbelin2003-11-18
* Check en plus parmi les keywordsGravatar letouzey2003-11-03
* Conjecture declare maintenant un axiome; reorganisation VernacDefinitionGravatar herbelin2003-10-23
* Deplacement next_global_ident_away dans TermopsGravatar herbelin2003-10-13
* 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
* highlighting de ExtractionGravatar letouzey2003-09-05
* 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: undo plus efficace sur les inductifsGravatar filliatr2003-06-13
* coqide: indentationGravatar monate2003-06-13
* coqide: about now displays versions/Fix for alt-enterGravatar monate2003-06-13
* CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatGravatar filliatr2003-06-13
* coqide: compile sans activate repareGravatar monate2003-06-06
* bug CoqIDE avec GoalGravatar filliatr2003-06-06
* au lieu de makeGravatar monate2003-06-02
* coqide: blaster interruptibleGravatar monate2003-05-26
* configure pour CoqIde repareGravatar monate2003-05-26
* coqide: blaster 2Gravatar monate2003-05-23
* coqide: blaster 2Gravatar monate2003-05-23
* coqide: blaster V1Gravatar monate2003-05-22
* CoqIde: externalsGravatar monate2003-05-20
* command_windows fixGravatar monate2003-05-20
* *** empty log message ***Gravatar monate2003-05-19
* CoqIde : but reset_modGravatar filliatr2003-05-19
* table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...Gravatar filliatr2003-05-15
* class CoqIde donnée à l'application, pour une meilleure intégrationGravatar filliatr2003-05-15
* coqide: .* on start/add \n on eofGravatar monate2003-05-14
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* coqide: all can focusGravatar monate2003-05-12