index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
coq.ml
Commit message (
Expand
)
Author
Age
*
coqide: blaster interruptible
monate
2003-05-26
*
coqide: blaster V1
monate
2003-05-22
*
*** empty log message ***
monate
2003-05-19
*
CoqIde : but reset_mod
filliatr
2003-05-19
*
coqide: load/save file encoding support/
monate
2003-05-14
*
coqide: toolbar/autosave
monate
2003-05-07
*
coqide: bugfix du C-C pendant Undo+paren_highlight
monate
2003-03-27
*
coqide: efficacite des buts etc...
monate
2003-03-27
*
coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...
monate
2003-03-26
*
coqide: addloadpath corrige
monate
2003-03-26
*
coqide: maj commandes
monate
2003-03-14
*
CoqIde: Install.ide Revert bugfix.
monate
2003-03-05
*
IDE: maj
monate
2003-03-04
*
fichiers sur la ligne de commande passes a Coq IDE
filliatr
2003-03-03
*
coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...
monate
2003-02-27
*
ide:copy/paste fix
monate
2003-02-25
*
*** 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