aboutsummaryrefslogtreecommitdiffhomepage
path: root/scripts
Commit message (Expand)AuthorAge
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avecGravatar clrenard2001-11-30
* Protection contre erreurs UnixGravatar herbelin2001-09-26
* Ajout d'une option et d'une fonction compile pour fabriquer les .voGravatar herbelin2001-09-18
* quotation des noms de fichiers pour eviter une mauvaise interpretation des \Gravatar barras2001-09-17
* Amélioration check_module_nameGravatar herbelin2001-09-09
* amelioration des messages d'erreurs vis a vis des evarsGravatar barras2001-05-23
* support option -R pour coqdepGravatar filliatr2001-04-20
* *** empty log message ***Gravatar courant2001-04-19
* option -verbose a coqc; option -i suppriméeGravatar filliatr2001-03-21
* entetesGravatar filliatr2001-03-15
* les options passées sont prioritaires sur les -I par défautGravatar filliatr2001-03-15
* 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 2025-01-26 10:53:21 +0000