aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* TypoGravatar herbelin2004-05-04
* pb install de pcoqGravatar barras2004-04-21
* preparation a la release 8.0Gravatar barras2004-04-07
* tools/coq_vo2xml removed since no longer in use.Gravatar sacerdot2004-03-29
* ProofTree2Xml is no longer directly used by Xmlcommand.Gravatar sacerdot2004-03-25
* install de coqdocGravatar barras2004-03-17
* typoGravatar coq2004-03-16
* install de pcoq incorrect + spec rpmGravatar barras2004-03-16
* pages de man pour coqwc et coqdocGravatar filliatr2004-03-16
* ROmegaGravatar mohring2004-03-04
* coqdocGravatar filliatr2004-02-24
* files from contrib/interface need files from contrib/field, the variableGravatar bertot2004-02-19
* - fixed the Assert_failure error in kernel/modopsGravatar barras2004-02-18
* Mauvaise dependance en states7/initial.coqGravatar herbelin2004-02-12
* clean-ide plus precisGravatar herbelin2004-02-04
* reorganize the order of librairies in the entry CMO to make sure this canGravatar bertot2004-02-02
* meilleure separation de compil et install de coq, coqide et coq-interfaceGravatar barras2004-01-27
* Correction des cibles des theories indviduellesGravatar herbelin2004-01-27
* deplacement des cma et cmxa dans les sous-repertoiresGravatar barras2004-01-26
* Deplacement lexer pour dependance dans constrinternGravatar herbelin2004-01-21
* coqide utf8Gravatar marche2004-01-20
* ajoute une option -linkall dans compilation de bin/parser pour assurer queGravatar bertot2004-01-16
* make libraries, lexing of more utf8 symbolsGravatar marche2004-01-14
* Suppression de Rsyntax en v8Gravatar herbelin2004-01-13
* Ajout cible install-ideGravatar herbelin2004-01-08
* Cible redondante qui trouble les make non linuxGravatar herbelin2004-01-07
* L'installation ne copiait pas les .vo du traducteurGravatar herbelin2003-12-03
* installationGravatar herbelin2003-11-29
* Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...Gravatar herbelin2003-11-29
* ground->firstorder, cc-> congruence, CC final commitGravatar corbinea2003-11-29
* Extraction des lemmes sur convert/nat_of_P de BinPos vers Pnat; ajout Pcase e...Gravatar herbelin2003-11-21
* ajout de Znumtheory.v dans ZArithGravatar letouzey2003-11-19
* tout clean-ide dans cleanGravatar herbelin2003-11-18
* Restructuration ZArithGravatar herbelin2003-11-12
* petits changements de syntaxeGravatar barras2003-11-12
* make moins verbeux, suite (et fin?)Gravatar letouzey2003-11-09
* Biblio standard sans mention de la possibilite d'etre impredicatif; Hurkens_s...Gravatar herbelin2003-11-07
* Ajout NArith et restructuration ZArithGravatar herbelin2003-11-05
* pour que make clean efface ide/utf8_convert.ml venant d'un .mllGravatar letouzey2003-11-04
* Ajout Diaconescu.vGravatar herbelin2003-11-02
* Nouveaux fichiers dans Logic; prise en compte de l'option -strongly-classical...Gravatar herbelin2003-10-28
* Ajout NArithRingGravatar herbelin2003-10-22
* Ground update + Linear removalGravatar corbinea2003-10-16
* Pour eviter que newtheories/Lists/List.v soit refait quand PolyList.v est ref...Gravatar herbelin2003-10-15
* Death of 'a somewhat cryptic module'Gravatar herbelin2003-10-11
* Intégration de la premiere partie de 'hightactics' dans 'tactics' suite à c...Gravatar herbelin2003-10-10
* Renommage en v8 de PolyList en List et List en MonoListGravatar herbelin2003-10-10
* Renommage no-strict en -strict-implicitGravatar herbelin2003-10-08
* Renommage no-strict en -strict-implicitGravatar herbelin2003-10-08
* Pour rendre make un peu moins verbeuxGravatar letouzey2003-10-06