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
*
but autoamtics tactics saving
marche
2004-05-03
*
Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...
herbelin
2004-04-30
*
Ajout coding
herbelin
2004-04-13
*
Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...
herbelin
2004-04-13
*
warning dialog when save fails
marche
2004-04-06
*
mise a jour des menus
mohring
2004-03-16
*
ajout des Print Scopes dans liste commandes sans effet
mohring
2004-03-15
*
ide: silent behavior better, save icon, -byte works
marche
2004-03-03
*
Localisation des erreurs d'internalisation des notations de tactiques
herbelin
2004-02-12
*
bug fix find coqide
coq
2004-02-04
*
highlight
marche
2004-02-04
*
search window
coq
2004-02-04
*
pour ide sous windows
coq
2004-01-29
*
coqide utf8
marche
2004-01-20
*
Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...
herbelin
2004-01-13
*
meilleure presentation des commentaires du traducteur
barras
2004-01-02
*
ameliorations coqide
coq
2003-12-30
*
coqide menus on golas
marche
2003-12-16
*
plus de syntaxe v8
marche
2003-12-12
*
commandes de coqide
marche
2003-12-09
*
preferences
marche
2003-12-08
*
bug de preferencs/font"
marche
2003-12-08
*
pas de Goal pendant une preuve
filliatr
2003-12-08
*
power associe a droite
marche
2003-12-05
*
changement menu et toolbar
marche
2003-12-04
*
contrib jcf
marche
2003-12-01
*
commands renomme en queries, command goto a la place de forward to backwardt o
marche
2003-11-28
*
textes
marche
2003-11-25
*
about
marche
2003-11-24
*
tentative de completion ESC-/ a la emacs
letouzey
2003-11-24
*
.v8
herbelin
2003-11-18
*
Check en plus parmi les keywords
letouzey
2003-11-03
*
Conjecture declare maintenant un axiome; reorganisation VernacDefinition
herbelin
2003-10-23
*
Deplacement next_global_ident_away dans Termops
herbelin
2003-10-13
*
Syntaxe VernacEndProof changee pour ajout mot-cle 'Admitted'
herbelin
2003-10-09
*
coqide auto complete initial bug fix
marche
2003-09-19
*
Coqide : les nouveaute d'aout
monate
2003-09-19
*
highlighting de Extraction
letouzey
2003-09-05
*
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: undo plus efficace sur les inductifs
filliatr
2003-06-13
[next]