index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
*
Dépendance en pa_ifdef dans la ligne camlp4deps de q_coqast induit make depe...
herbelin
2004-08-26
*
Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...
herbelin
2004-07-27
*
Minimisation de l'utilisation de pa_ifdef.cmo pour éviter les messages d'obs...
herbelin
2004-07-20
*
Indépendance de parser vis a vis de ocamlrun
herbelin
2004-07-19
*
Bugs make clean
herbelin
2004-07-18
*
Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06
herbelin
2004-07-17
*
Typo
herbelin
2004-07-16
*
Mise en place mécanisme de compatibilité ocaml 3.08
herbelin
2004-07-16
*
Suppression quotify
herbelin
2004-07-16
*
Suppression compilation explication.ml4
herbelin
2004-07-16
*
more evar stuff
corbinea
2004-06-28
*
Typo
herbelin
2004-05-04
*
pb install de pcoq
barras
2004-04-21
*
preparation a la release 8.0
barras
2004-04-07
*
tools/coq_vo2xml removed since no longer in use.
sacerdot
2004-03-29
*
ProofTree2Xml is no longer directly used by Xmlcommand.
sacerdot
2004-03-25
*
install de coqdoc
barras
2004-03-17
*
typo
coq
2004-03-16
*
install de pcoq incorrect + spec rpm
barras
2004-03-16
*
pages de man pour coqwc et coqdoc
filliatr
2004-03-16
*
ROmega
mohring
2004-03-04
*
coqdoc
filliatr
2004-02-24
*
files from contrib/interface need files from contrib/field, the variable
bertot
2004-02-19
*
- fixed the Assert_failure error in kernel/modops
barras
2004-02-18
*
Mauvaise dependance en states7/initial.coq
herbelin
2004-02-12
*
clean-ide plus precis
herbelin
2004-02-04
*
reorganize the order of librairies in the entry CMO to make sure this can
bertot
2004-02-02
*
meilleure separation de compil et install de coq, coqide et coq-interface
barras
2004-01-27
*
Correction des cibles des theories indviduelles
herbelin
2004-01-27
*
deplacement des cma et cmxa dans les sous-repertoires
barras
2004-01-26
*
Deplacement lexer pour dependance dans constrintern
herbelin
2004-01-21
*
coqide utf8
marche
2004-01-20
*
ajoute une option -linkall dans compilation de bin/parser pour assurer que
bertot
2004-01-16
*
make libraries, lexing of more utf8 symbols
marche
2004-01-14
*
Suppression de Rsyntax en v8
herbelin
2004-01-13
*
Ajout cible install-ide
herbelin
2004-01-08
*
Cible redondante qui trouble les make non linux
herbelin
2004-01-07
*
L'installation ne copiait pas les .vo du traducteur
herbelin
2003-12-03
*
installation
herbelin
2003-11-29
*
Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...
herbelin
2003-11-29
*
ground->firstorder, cc-> congruence, CC final commit
corbinea
2003-11-29
*
Extraction des lemmes sur convert/nat_of_P de BinPos vers Pnat; ajout Pcase e...
herbelin
2003-11-21
*
ajout de Znumtheory.v dans ZArith
letouzey
2003-11-19
*
tout clean-ide dans clean
herbelin
2003-11-18
*
Restructuration ZArith
herbelin
2003-11-12
*
petits changements de syntaxe
barras
2003-11-12
*
make moins verbeux, suite (et fin?)
letouzey
2003-11-09
*
Biblio standard sans mention de la possibilite d'etre impredicatif; Hurkens_s...
herbelin
2003-11-07
*
Ajout NArith et restructuration ZArith
herbelin
2003-11-05
*
pour que make clean efface ide/utf8_convert.ml venant d'un .mll
letouzey
2003-11-04
[next]