index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
coqide.ml
Commit message (
Expand
)
Author
Age
*
coqide auto complete initial bug fix
marche
2003-09-19
*
Coqide : les nouveaute d'aout
monate
2003-09-19
*
option pour supprimer les menus contextuels sur les buts
marche
2003-09-03
*
auto completion disabled par defaut
marche
2003-09-02
*
coqide: new search and AutoCompletion
monate
2003-07-18
*
coqide: fixed problems with -R -I and coqide interaction
monate
2003-07-16
*
coqide: warn when using locale or manual charset
monate
2003-07-10
*
Coqide : focus bug in goal window
monate
2003-07-07
*
Coqide : ported to lablgtk2 snapshot of 2003/07/07
monate
2003-07-07
*
coqide : status bar more informative, forbid Section/Module in proo mode
monate
2003-06-25
*
undo de "Time tactic"
filliatr
2003-06-19
*
typo
filliatr
2003-06-19
*
*** empty log message ***
monate
2003-06-18
*
coqide: indentation
monate
2003-06-13
*
coqide: about now displays versions/Fix for alt-enter
monate
2003-06-13
*
CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat
filliatr
2003-06-13
*
coqide: compile sans activate repare
monate
2003-06-06
*
bug CoqIDE avec Goal
filliatr
2003-06-06
*
au lieu de make
monate
2003-06-02
*
coqide: blaster interruptible
monate
2003-05-26
*
configure pour CoqIde repare
monate
2003-05-26
*
coqide: blaster 2
monate
2003-05-23
*
coqide: blaster 2
monate
2003-05-23
*
coqide: blaster V1
monate
2003-05-22
*
CoqIde: externals
monate
2003-05-20
*
command_windows fix
monate
2003-05-20
*
CoqIde : but reset_mod
filliatr
2003-05-19
*
class CoqIde donnée à l'application, pour une meilleure intégration
filliatr
2003-05-15
*
coqide: .* on start/add \n on eof
monate
2003-05-14
*
coqide: load/save file encoding support/
monate
2003-05-14
*
coqide: all can focus
monate
2003-05-12
*
CoqIde: AccelMap support
monate
2003-05-12
*
coqide: GtkData dep
monate
2003-05-07
*
coqide: toolbar/autosave
monate
2003-05-07
*
coqide: search forw+back
monate
2003-04-29
*
coqide: search forward
monate
2003-04-28
*
*** empty log message ***
monate
2003-04-24
*
coqide : line number mode
monate
2003-04-24
*
*** empty log message ***
monate
2003-04-24
*
coqide : progressbar
monate
2003-04-22
*
coqide: undo fix
monate
2003-04-10
*
*** empty log message ***
monate
2003-04-10
*
*** empty log message ***
monate
2003-04-10
*
coqide: bug highlight corrige
monate
2003-04-10
*
coqide: completion support
monate
2003-04-10
*
coqide: thread bug fix
monate
2003-04-10
*
Coqide : introduction des coprocessus. CoqIde est maintenant interruptible
monate
2003-04-09
*
coqide: command window maj.
monate
2003-03-28
*
coqide: bug undo corrige
monate
2003-03-28
*
coqide: bugfix du C-C pendant Undo+paren_highlight
monate
2003-03-27
[next]