index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
*
coqide: .coqidepref en bin. Preferences en plus
monate
2003-03-12
*
coqide: maj des bindings
monate
2003-03-10
*
coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...
monate
2003-03-07
*
coqide: fenetre de cmmandes . undo correct
monate
2003-03-06
*
coqide: le undo
monate
2003-03-06
*
coqide: ouvrir une seule fois un fichier
monate
2003-03-05
*
IDE: menu templates
filliatr
2003-03-05
*
CoqIde: Install.ide Revert bugfix.
monate
2003-03-05
*
coqide: bugfix
monate
2003-03-04
*
belle image de coq (en png en plus)
marche
2003-03-04
*
coqide: partage -debug avec coqtop
monate
2003-03-04
*
IDE: maj
monate
2003-03-04
*
CoqIDE: copy/paste
monate
2003-03-03
*
fichiers sur la ligne de commande passes a Coq IDE
filliatr
2003-03-03
*
IDE:coloration
filliatr
2003-03-03
*
IDE: debug=false
filliatr
2003-03-03
*
coqide: preferences support and optimizations
monate
2003-03-03
*
coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...
monate
2003-02-27
*
coqide: preliminary support for mnemonics. Edit menu. Context help now works ...
monate
2003-02-26
*
ide:copy/paste fix
monate
2003-02-25
*
coqide : aide sur selection ou sur mot
monate
2003-02-24
*
aide contextuelle / menus compilation + print + export
filliatr
2003-02-24
*
ide changes
monate
2003-02-24
*
ctrl-k like Emacs in coqide
monate
2003-02-24
*
ide
monate
2003-02-24
*
*** empty log message ***
monate
2003-02-24
*
CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)
filliatr
2003-02-21
*
Undo dans Coq IDE
filliatr
2003-02-11
*
interface GTK2 experimentale
monate
2003-02-04