index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
distrib
Commit message (
Expand
)
Author
Age
*
*** empty log message ***
barras
2004-03-24
*
MAJ macosx
herbelin
2004-03-18
*
install de pcoq incorrect + spec rpm
barras
2004-03-16
*
preparation pour release (suite)
barras
2004-03-15
*
preparation packages V8.0-cdrom
barras
2004-03-15
*
coq.spec n\'est plus parametre
barras
2004-03-12
*
- fixed the Assert_failure error in kernel/modops
barras
2004-02-18
*
meilleure separation de compil et install de coq, coqide et coq-interface
barras
2004-01-27
*
Finalisation du mecanisme de creation du rpm coqide
herbelin
2004-01-08
*
Version 1 pour coqide
herbelin
2004-01-06
*
pas ide
herbelin
2004-01-06
*
MAJ rpm
herbelin
2004-01-06
*
MAJ
herbelin
2004-01-06
*
MAJ 8.0
herbelin
2003-12-28
*
numeros version
marche
2003-12-01
*
*** empty log message ***
courant
2003-06-27
*
aide contextuelle / menus compilation + print + export
filliatr
2003-02-24
*
Automatisation de la création de l'image avec le package MacOS-X
herbelin
2003-02-05
*
MAJ Windows
herbelin
2003-02-04
*
-reals all
filliatr
2003-02-03
*
release 7.4; changement magic number
filliatr
2003-02-03
*
preparation pkg deb for 7.4
courant
2003-01-31
*
more cleaning
herbelin
2002-11-10
*
*** empty log message ***
courant
2002-10-07
*
debian pkg now recommends proof general
courant
2002-10-02
*
'make check' echoue si au moins un test echoue.
courant
2002-06-04
*
ARCH passe de Makefile à config.distrib
herbelin
2002-05-16
*
MAJ V7.3
herbelin
2002-05-15
*
Simplification du nom de l'architecture Mac OS X
herbelin
2002-04-10
*
MAJ
herbelin
2002-04-10
*
*** empty log message ***
courant
2002-03-12
*
paquet Debian 7.2-3
courant
2002-01-23
*
mise a jour
filliatr
2002-01-21
*
*** empty log message ***
courant
2002-01-18
*
Bugs et raffinements
herbelin
2002-01-10
*
MAJ 7.2
herbelin
2001-12-28
*
MAJ
herbelin
2001-12-23
*
*** empty log message ***
courant
2001-12-21
*
comment faire le .deb
courant
2001-12-21
*
preparation V7.2
courant
2001-12-21
*
paquet Debian
courant
2001-12-21
*
MAJ 7.2
herbelin
2001-12-19
*
package Debian 7.1, correction pb compilation native sur certaines architectures
courant
2001-12-13
*
*** empty log message ***
courant
2001-12-11
*
MAJ doc
herbelin
2001-10-03
*
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
*
Nouvel emplacement pour coq.spec
herbelin
2001-09-25
[next]