aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* modifs pour extraction; bug coqmktopGravatar filliatr2001-03-06
* bug Reset et SectionsGravatar filliatr2001-02-28
* option -m (utilisation memoire)Gravatar filliatr2001-02-09
* - coqc : option -imageGravatar filliatr2001-02-01
* Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...Gravatar herbelin2000-12-06
* Changement de la syntaxe des options -I et -RGravatar herbelin2000-11-30
* - coqc: utilise le meilleur coq possibleGravatar filliatr2000-11-24
* Deplacement d'options avec ou sans argtsGravatar mohring2000-11-03
* compilation des fichiers ml4 sans GNUseriesGravatar filliatr2000-11-03
* - simplification Makefile (compilation des fichiers .ml'; pas encore parfaitGravatar filliatr2000-10-31
* g_natsyntax et g_zsyntax maintenant toujours linkesGravatar filliatr2000-10-27
* Capture erreur de create_processGravatar herbelin2000-06-29
* contrib linkees en natifGravatar filliatr2000-05-08
* Ajoute option -byteGravatar herbelin2000-05-05
* compilation bytecode / native :Gravatar filliatr2000-05-03
* portage en ocaml / camlp4 3.00Gravatar filliatr2000-04-28
* Compilation pbs (coqc not finding coqtop, coqc not finding .vo whenGravatar courant2000-04-21
* modules et coqcGravatar filliatr1999-12-12
* link Dhyp et AutoGravatar filliatr1999-12-07
* compilation nativeGravatar filliatr1999-12-03
* coqmktopGravatar filliatr1999-12-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-10 04:35:48 +0000