aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-06-25coqide : status bar more informative, forbid Section/Module in proo modemonate
2003-06-19undo de "Time tactic"filliatr
2003-06-19typofilliatr
2003-06-18*** empty log message ***monate
2003-06-13CoqIDE: undo plus efficace sur les inductifsfilliatr
2003-06-13coqide: indentationmonate
2003-06-13coqide: about now displays versions/Fix for alt-entermonate
2003-06-13CoqIDE: undo immediat sur les commandes ne modifiant pas l'etatfilliatr
2003-06-06coqide: compile sans activate reparemonate
2003-06-06bug CoqIDE avec Goalfilliatr
2003-06-02 au lieu de makemonate
2003-05-26coqide: blaster interruptiblemonate
2003-05-26configure pour CoqIde reparemonate
2003-05-23coqide: blaster 2monate
2003-05-23coqide: blaster 2monate
2003-05-22coqide: blaster V1monate
2003-05-20CoqIde: externalsmonate
2003-05-20command_windows fixmonate
2003-05-19*** empty log message ***monate
2003-05-19CoqIde : but reset_modfilliatr
2003-05-15table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...filliatr
2003-05-15class CoqIde donnée à l'application, pour une meilleure intégrationfilliatr
2003-05-14coqide: .* on start/add \n on eofmonate
2003-05-14coqide: load/save file encoding support/monate
2003-05-12coqide: all can focusmonate
2003-05-12CoqIde: AccelMap supportmonate
2003-05-07coqide: missing filesmonate
2003-05-07coqide: GtkData depmonate
2003-05-07coqide: toolbar/autosavemonate
2003-04-29coqide: search forw+backmonate
2003-04-28coqide: search forwardmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:34:08 +0000