aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools
Commit message (Expand)AuthorAge
* reparation du make depend et du .dependGravatar letouzey2001-12-19
* Encapsulage des '<' et '>' pour éviter le regroupement '«'Gravatar herbelin2001-10-02
* la cible all était incomplèteGravatar filliatr2001-09-19
* make install dans coq_makefile et repertoire associe user-contrib ajoute au l...Gravatar filliatr2001-09-19
* prise en compte de Load par coqdepGravatar filliatr2001-08-31
* "make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTMLGravatar filliatr2001-07-17
* all.g.ps -> all-gal.psGravatar filliatr2001-07-16
* compat -sort et -suffixGravatar filliatr2001-07-16
* cibles all.ps et all-gal.ps (utilisation de coqweb)Gravatar filliatr2001-07-16
* utilisation de printf (simplif)Gravatar filliatr2001-07-16
* plus besoin de separer les ?Gravatar barras2001-06-13
* Chgt de MAKE= ...Gravatar letouzey2001-05-29
* option -byteGravatar filliatr2001-05-28
* application patch ClaudioGravatar filliatr2001-05-11
* - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byteGravatar courant2001-04-25
* patch Claudio pour coq_makefileGravatar filliatr2001-04-23
* Hints.... added next to Hint....Gravatar coq2001-04-20
* support option -R pour coqdepGravatar filliatr2001-04-20
* *** empty log message ***Gravatar courant2001-04-16
* bug Print Proof; usage coqtop/coqcGravatar filliatr2001-04-06
* ajout de coq_example# dans coq-texGravatar werner2001-04-04
* entetesGravatar filliatr2001-03-15
* modifs mineuresGravatar filliatr2001-02-08
* backtrack sur le lexeur de la V6Gravatar filliatr2001-01-30
* Prise en compte des ??Gravatar herbelin2001-01-03
* MAJGravatar herbelin2000-12-26
* Traducteur automatique de scripts vernacGravatar herbelin2000-12-25
* numarg -> pure_numarg a poursuivreGravatar mohring2000-12-11
* do_Makefile -> coq_makefile pour le bootstrap!Gravatar filliatr2000-11-09
* nouveau load pathGravatar filliatr2000-11-08
* outils (manquent encore les deux filtres)Gravatar filliatr1999-12-11