aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-04-25ligne vide lors de l'affichage des messages d'erreur a toplevel entrebarras
2001-04-25message d'erreur pour rattrapper l'anomalie avec SQUASHbarras
2001-04-25make -j world -> make world en raison de bug ocamlc/ocamloptcourant
2001-04-25man pages for coq-interface and parsercourant
2001-04-25Ajout pages de man coq_makefile et coqmktopcourant
2001-04-25modif pour RPM et Debiancourant
2001-04-25modif rpmcourant
2001-04-25make reals prend en compte tous les .vo de theories/Realsfilliatr
2001-04-25coqwebfilliatr
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant
2001-04-25Amelioration message args constructeurherbelin
2001-04-25Bug perte d'alias avec type dependentsherbelin
2001-04-25Amelioration affichageherbelin
2001-04-25MAJherbelin
2001-04-25MAJherbelin
2001-04-24SearchIsos n'a pas encore ete portedelahaye
2001-04-24Messages d'erreur Casesherbelin
2001-04-24correction nommayero
2001-04-24Les clauses de Rec doivent prendre des tactic_atom'sdelahaye
2001-04-24Suppression d'une partie de code commentedelahaye
2001-04-24Ajout du cas True->A|-Bdelahaye
2001-04-24interdiction occ positives ET negatives dans Patternwerner
2001-04-24Reorganisation pour Ltacdelahaye
2001-04-24Mise a jour V7mohring
2001-04-24README avec ref (2)letouzey
2001-04-24TODO in v.o., test/Makefile moins pire, README avec refletouzey
2001-04-24Ajout du .dependmohring
2001-04-24Retire theories/Nummohring
2001-04-24Retire le repertoire Nummohring
2001-04-24Correction typosmohring
2001-04-24ajout d'un fichier READMEletouzey
2001-04-24ajout necessaire pour paquet debiancourant
2001-04-24Mise a jour KNOWN-BUGSmohring
2001-04-24Ajout de Rseries et Rtrigo_funmayero
2001-04-24Fin d'optimisation (cas modules) + warning pour coind & ocamlletouzey
2001-04-24(Again) Little corrections for Library doccoq
2001-04-24cofix_warning dans les parametres d'extractionfilliatr
2001-04-24MAJ de graphes de dependance pour la doc des sourcescoq
2001-04-24suffixes $(EXE) pour bin/parser; quelques binaires oubliés dans make cleanfilliatr
2001-04-24bin/coqtop est un lien vers bin/coqtop.$(BEST)filliatr
2001-04-24adding binary files that are needed for the graphical user-interface pcoqbertot
2001-04-24Removing a debug message for the search command.bertot
2001-04-23Ajout de syntaxe pour Ltacdelahaye
2001-04-23Ajout Realsmayero
2001-04-23Ajouts Realsmayero
2001-04-23(One more) Minor layout adjustments for Library doccoq
2001-04-23forme codefilliatr
2001-04-23Minor layout adjustments for Library doccoq
2001-04-23mise a jourletouzey
2001-04-23realisation des realsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 04:07:11 +0000