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
*
windows install
narboux
2005-11-10
*
ajout de l'entree dans le menu
narboux
2005-11-10
*
typo
narboux
2005-11-09
*
ajout installer windows
narboux
2005-11-09
*
ajout splashscreen
narboux
2005-11-09
*
ajout splash screen
narboux
2005-11-09
*
set home
narboux
2005-11-08
*
installer windows
narboux
2005-11-08
*
generation auto des .bat
narboux
2005-11-08
*
uninstall ok
narboux
2005-11-08
*
un peu mieux mais pas encore ca
narboux
2005-11-08
*
coq icon
narboux
2005-11-06
*
installer windows travail en cours
narboux
2005-11-06
*
scprit for windows install program
narboux
2005-11-05
*
Ajout maj répertoire d'archivage par version de Coq
herbelin
2005-10-07
*
MAJ pauillac -> yquem
herbelin
2005-10-06
*
Procédure d'ajout d'une nouvelle contributions utilisateur
herbelin
2005-08-01
*
rename INSTALL.win INSTALL.txt to ease opening
narboux
2005-07-25
*
MAJ
herbelin
2005-07-06
*
the package script disappeared in MacOS 10.3: we locally copy the 10.2 version
herbelin
2005-03-06
*
sed ne connait pas '+' sur macosx
herbelin
2005-01-25
*
MAJ
herbelin
2004-07-30
*
Unbind the macosx dmg after creation to be able to build it again safely
herbelin
2004-07-30
*
MAJ cible patch
herbelin
2004-07-29
*
camlp4 maintenant intégré à ocaml
herbelin
2004-07-17
*
MacOS X dans /usr/local
herbelin
2004-06-02
*
test de conversion laissait echapper exception NotConvertible
barras
2004-05-14
*
Dépendance en $(RPMTOPDIR)
herbelin
2004-04-30
*
Position du %defattr importante
herbelin
2004-04-30
*
*** empty log message ***
barras
2004-04-21
*
amelioration des specs RPM
barras
2004-04-20
*
Typo
herbelin
2004-04-16
*
MAJ setup
herbelin
2004-04-16
*
preparation a la release 8.0
barras
2004-04-07
*
*** 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
[next]