index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Restructuration des procédures de filtrage
herbelin
2003-05-19
*
*** empty log message ***
monate
2003-05-19
*
CoqIde : but reset_mod
filliatr
2003-05-19
*
configure et make install s'occupent de CoqIde tout seuls
filliatr
2003-05-19
*
but Require dans une Section
filliatr
2003-05-19
*
maj
filliatr
2003-05-17
*
Major Ground tactic update, sensible performance improvement
corbinea
2003-05-16
*
table des modules charges (Library.compunit_cache) synchronizee (pour CoqIde ...
filliatr
2003-05-15
*
class CoqIde donnée à l'application, pour une meilleure intégration
filliatr
2003-05-15
*
maj
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
*
Amelioration presentation
herbelin
2003-05-14
*
Amelioration affichage
herbelin
2003-05-14
*
Hack pour ameliorer l'affichage des applications dans les `...` et
herbelin
2003-05-14
*
maj
filliatr
2003-05-14
*
Suppression de 'R' dans la notation == entre
herbelin
2003-05-14
*
Suppression de 'R' dans la notation == entre
herbelin
2003-05-14
*
Deplacement lemmes sur fact de Reals vers Arith
herbelin
2003-05-14
*
Nouveaux lemmes
herbelin
2003-05-13
*
Nouveaux lemmes (sur proposition de Nijmegen)
herbelin
2003-05-13
*
Affichage commentaires
herbelin
2003-05-13
*
Nouveaux lemmes (sur proposition de Nijmegen)
herbelin
2003-05-13
*
Rien d'important
herbelin
2003-05-13
*
Notations arithmetiques
herbelin
2003-05-13
*
Orthographe anglaise - typos
herbelin
2003-05-13
*
Orthographe anglaise
herbelin
2003-05-13
*
Separation entre les propositions de syntaxe - suite
herbelin
2003-05-13
*
Separation entre les 2 propositions de syntaxe
herbelin
2003-05-13
*
Modif de coq-tex - meilleur affichage des suite de coq_example's
coq
2003-05-13
*
coqide: all can focus
monate
2003-05-12
*
CoqIde: AccelMap support
monate
2003-05-12
*
ajout inverse relation bien fondee
mohring
2003-05-09
*
maj
filliatr
2003-05-09
*
bugfixes in Ground.
corbinea
2003-05-08
*
Petite correction d'affichage de modules
coq
2003-05-08
*
coqide: missing files
monate
2003-05-07
*
coqide: GtkData dep
monate
2003-05-07
*
coqide: toolbar/autosave
monate
2003-05-07
*
coqide: toolbar/autosave
monate
2003-05-07
*
Enhancement of the Ground tactic, addition of GTauto and GIntuition.
corbinea
2003-05-07
*
entréé translation2
herbelin
2003-05-07
*
Corrige Bug (PR#290)
coq
2003-05-05
*
maj
filliatr
2003-04-30
*
Prise en compte des syntaxes v8 dans Uninterpreted Notation
herbelin
2003-04-29
*
Prise en compte des syntaxes v8 dans Uninterpreted Notation
herbelin
2003-04-29
*
coqide: search forw+back
monate
2003-04-29
*
Mise en place d'un 2ème traducteur à l'essai (activable avec -ftranslate2)
herbelin
2003-04-29
*
Blancs
herbelin
2003-04-29
*
Notations
herbelin
2003-04-29
[next]