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
*
bugs/améliorations trouvés via FTA
letouzey
2003-02-21
*
Affinement entree annot
herbelin
2003-02-17
*
maj
filliatr
2003-02-15
*
prise en compte des sous-repertoires Coq de maniere dynamique
filliatr
2003-02-14
*
Ajout du theoreme de Cesaro
desmettr
2003-02-14
*
MAJ pour Reals/SeqSeries.v
desmettr
2003-02-14
*
Test de non bouclage malencontreux dans les niveaux
herbelin
2003-02-13
*
Modifications dans une tactique toplevel
delahaye
2003-02-13
*
Correction d'un bug introduit dans le backtracking d'occurrence
delahaye
2003-02-13
*
Chargement dynamique de .cma
delahaye
2003-02-13
*
Debugger plus informatif
delahaye
2003-02-13
*
maj
filliatr
2003-02-12
*
Undo dans Coq IDE
filliatr
2003-02-11
*
Bug Rename
herbelin
2003-02-08
*
Bug Rename
herbelin
2003-02-08
*
MAJ
herbelin
2003-02-06
*
commentaire
coq
2003-02-06
*
maj
filliatr
2003-02-06
*
update
desmettr
2003-02-05
*
Ajout du traducteur
desmettr
2003-02-05
*
Suppression de l'élimination des existentiels dans LinearIntuition.
corbinea
2003-02-05
*
Automatisation de la création de l'image avec le package MacOS-X
herbelin
2003-02-05
*
maj
filliatr
2003-02-05
*
interface GTK2 experimentale
monate
2003-02-04
*
MAJ Windows
herbelin
2003-02-04
*
MAJ
herbelin
2003-02-04
*
Contournement de ocamlmktop qui plante sous win32
herbelin
2003-02-04
*
MAJ pour windows
herbelin
2003-02-04
*
-reals all
filliatr
2003-02-03
*
make check utilise toujours le Coq local
filliatr
2003-02-03
*
maj
filliatr
2003-02-03
*
release 7.4; changement magic number
filliatr
2003-02-03
*
Added a clause for VernacDefineModule, but with an error as result.
bertot
2003-02-03
*
maj
filliatr
2003-02-03
*
maj status de l'extraction des modules
letouzey
2003-02-03
*
hack horrible pour renommage dans Modules Types et Functeurs
letouzey
2003-02-03
*
encore un long_kn
letouzey
2003-02-03
*
contrib/extraction/table utilise printer
letouzey
2003-02-02
*
plus d'environment fixe cur_env mais un environment evolutif
letouzey
2003-02-02
*
Bug affichage let destructurant
herbelin
2003-02-02
*
Backtrack sur le filtrage des applications partielles (change Tauto/Intuition)
herbelin
2003-02-01
*
Ajout d'un filtrage d'application partielle
herbelin
2003-01-31
*
MAJ
herbelin
2003-01-31
*
MAJ
herbelin
2003-01-31
*
MAJ
herbelin
2003-01-31
*
Unification plus efficace vis à vis du LetIn
herbelin
2003-01-31
*
preparation pkg deb for 7.4
courant
2003-01-31
*
*** empty log message ***
courant
2003-01-31
*
MAJ syntaxe modules + nouveau fichier mod_decl qui explique tout
coq
2003-01-31
*
Pour satisfaire ProofGeneral
coq
2003-01-31
[next]