aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
...
* Pour rendre make un peu moins verbeuxGravatar letouzey2003-10-06
* NEWCONTRIBVO doit apparaitre apres CONTRIBVOGravatar herbelin2003-10-06
* Debranchement de la regle .v.vo pour que celle-ci ne soit pas prise quand new...Gravatar herbelin2003-10-04
* NEW*VO doit apparaitre apres *VO + diversGravatar herbelin2003-10-04
* Bug cible newtheories/Init + diversGravatar herbelin2003-10-03
* Nettoyage, simplification et compatibilite -jGravatar herbelin2003-10-03
* oubli de deux flags -v7Gravatar letouzey2003-10-03
* pa_ifdef.cmo redondantGravatar herbelin2003-09-26
* Fusion des fichiers de syntaxe de Init avec les fichiers de définition; Type...Gravatar herbelin2003-09-23
* Passage à la V8 par défautGravatar herbelin2003-09-22
* Reprise de coqbinaries dans translationGravatar herbelin2003-09-15
* Indirection pour coqlib8 pour que la cible newtheories/%.v soit choisieGravatar herbelin2003-09-13
* Retour à des cibles plus explicites: world7 et world8, install7 et install8Gravatar herbelin2003-09-12
* Ajout install7 et coqwc dans toolsGravatar herbelin2003-09-12
* Ajout cible world7Gravatar herbelin2003-09-12
* Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...Gravatar herbelin2003-09-12
* Déplacement de Declare et Impargs à la fin de interp pour que Declare accè...Gravatar herbelin2003-09-12
* install coqwcGravatar filliatr2003-09-05
* coqwcGravatar filliatr2003-09-05
* Fusion -translate et -ftranslateGravatar herbelin2003-08-14
* Option -v8 à coqtop lance coqtopnewGravatar herbelin2003-08-11
* suppression de newtautoGravatar corbinea2003-07-02
* suppression de FSets (redevient une contrib)Gravatar filliatr2003-06-24
* Ground major update ... mmm, sounds exciting !Gravatar corbinea2003-06-15
* dependcoq integre les fichiers de fsetsGravatar letouzey2003-06-14
* Ground updateGravatar corbinea2003-06-13
* Ground update, new files.Gravatar corbinea2003-06-13
* install-fsetsGravatar filliatr2003-06-13
* FSets, mais pas compile' par make worldGravatar filliatr2003-06-13
* Module Bij inutiliseGravatar herbelin2003-06-10
* au lieu de makeGravatar monate2003-06-02
* moved engine.ml4 to ground.ml4, added option 'Ground Depth'Gravatar corbinea2003-05-26
* coqide: blaster 2Gravatar monate2003-05-23
* fabrication de ide/utf8.voGravatar letouzey2003-05-23
* coqide: blaster V1Gravatar monate2003-05-22
* Concentration des notations officielles dans Init/Notations; restructuration ...Gravatar herbelin2003-05-21
* Restructutation Hipattern PatternGravatar herbelin2003-05-19
* configure et make install s'occupent de CoqIde tout seulsGravatar filliatr2003-05-19
* coqide: .* on start/add \n on eofGravatar monate2003-05-14
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* Nouveaux lemmes (sur proposition de Nijmegen)Gravatar herbelin2003-05-13
* entréé translation2Gravatar herbelin2003-05-07
* Ajout ChoiceFactsGravatar herbelin2003-04-29
* coqide: search forwardGravatar monate2003-04-28
* fichier de pref coq IDE en ASCII (ENFIN)Gravatar filliatr2003-04-28
* Added the Ground tactic.Gravatar corbinea2003-04-25
* Ajout "at next level" dans NotationGravatar herbelin2003-04-17
* BIG MAJ Extraction:Gravatar letouzey2003-04-16
* coqide: thread bug fixGravatar monate2003-04-10
* Coqide : introduction des coprocessus. CoqIde est maintenant interruptibleGravatar monate2003-04-09