index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
distrib
/
Makefile
Commit message (
Expand
)
Author
Age
*
'make check' echoue si au moins un test echoue.
courant
2002-06-04
*
ARCH passe de Makefile à config.distrib
herbelin
2002-05-16
*
Simplification du nom de l'architecture Mac OS X
herbelin
2002-04-10
*
*** empty log message ***
courant
2002-03-12
*
paquet Debian 7.2-3
courant
2002-01-23
*
*** empty log message ***
courant
2002-01-18
*
Bugs et raffinements
herbelin
2002-01-10
*
MAJ 7.2
herbelin
2001-12-28
*
paquet Debian
courant
2001-12-21
*
package Debian 7.1, correction pb compilation native sur certaines architectures
courant
2001-12-13
*
*** empty log message ***
courant
2001-12-11
*
Ajout INSTALL.win
herbelin
2001-09-27
*
tools pas fait automatiquement
herbelin
2001-09-26
*
Compatibilite Windows
herbelin
2001-09-26
*
MAJ contrib
herbelin
2001-09-26
*
MAJ V7.1
herbelin
2001-09-25
*
*** empty log message ***
courant
2001-04-25
*
*** empty log message ***
courant
2001-04-25
*
modif pour RPM et Debian
courant
2001-04-25
*
modif rpm
courant
2001-04-25
*
- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte
courant
2001-04-25
*
Retire le repertoire Num
mohring
2001-04-24
*
ajout du cas win32
courant
2001-04-19
*
*** empty log message ***
courant
2001-04-19
*
Suppression du retrait du répertoire doc de l'archive tar-gzip-ée
herbelin
2001-01-27
*
Améliorations
herbelin
2000-12-27
*
Typo
herbelin
2000-12-22
*
MAJ V7
herbelin
2000-12-22
*
Pour créer les archives distribuées
herbelin
2000-12-22