aboutsummaryrefslogtreecommitdiffhomepage
path: root/distrib
Commit message (Expand)AuthorAge
* MAJ V7.1Gravatar herbelin2001-09-20
* MAJ V7.1Gravatar herbelin2001-09-20
* Nouveau coq.spec avec les droits de rootGravatar herbelin2001-09-04
* ajout pour le cdromGravatar mayero2001-04-25
* *** empty log message ***Gravatar courant2001-04-25
* *** empty log message ***Gravatar courant2001-04-25
* *** empty log message ***Gravatar courant2001-04-25
* make -j world -> make world en raison de bug ocamlc/ocamloptGravatar courant2001-04-25
* man pages for coq-interface and parserGravatar courant2001-04-25
* Ajout pages de man coq_makefile et coqmktopGravatar courant2001-04-25
* modif pour RPM et DebianGravatar courant2001-04-25
* modif rpmGravatar courant2001-04-25
* - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byteGravatar courant2001-04-25
* Retire le repertoire NumGravatar mohring2001-04-24
* ajout necessaire pour paquet debianGravatar courant2001-04-24
* adding binary files that are needed for the graphical user-interface pcoqGravatar bertot2001-04-24
* ajout du cas win32Gravatar courant2001-04-19
* *** empty log message ***Gravatar courant2001-04-19
* Mise a jour de la config pour distribGravatar mohring2001-04-10
* Nouvelle betaGravatar herbelin2001-02-02
* Suppression du retrait du répertoire doc de l'archive tar-gzip-éeGravatar herbelin2001-01-27
* AméliorationsGravatar herbelin2000-12-27
* TypoGravatar herbelin2000-12-22
* cleanallGravatar herbelin2000-12-22
* MAJ V7Gravatar herbelin2000-12-22
* Pour créer les archives distribuéesGravatar herbelin2000-12-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 14:56:10 +0000