aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile
AgeCommit message (Collapse)Author
2008-02-14Plongement de doc/Makefile dans la nouvelle architecutre des Makefilenotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10570 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-02-13Suppression de l'option -glob-from de Coqdoc: les globalisations sontnotin
lues directement des fichiers .glob git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10559 85f007b7-540e-0410-9357-904b9bb8a0f7
2008-01-29Added full documentation for mathematical mode (draft version)corbinea
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10479 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-11-28Ajout de l'axiomatisation des entiers à la documentation de la librairie ↵notin
standard git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10343 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-10-02Fix a problem doing 'make clean' under Winodwsnotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10165 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-08-08A better Program documentation. Include it in the generated stdlib doc.msozeau
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10061 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-07-26Corrected the reference to glob.dump, which is used to create ↵emakarov
stdlib/index-body.html. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10051 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-07-25Modifications de la construction de la documentation de la librairienotin
standard: - ajout d'une entrée dans le Makefile principal pour le fichier de globalisations glob.dump - modifications de doc/Makefile et de l'index html pour gérer les nouveaux fichiers de la librairie standard (en part. ceux dans Ints) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10049 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
Documented in dev/doc/build-system.txt . git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9992 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-04-10Split refman/headers.tex into headers.sty and headers.hva.emakarov
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9753 85f007b7-540e-0410-9357-904b9bb8a0f7
2007-03-07Application suggestion #1430 de Yevgeniy pour TEXINPUTSherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9687 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-07-11Documentation de lazymatch et des extensions de idtac et failherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9038 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-07-04Ajout cible refman-quick qui teste la compilation sans faire les index, toc ↵herbelin
et biblio git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9004 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-06-13Changement du index.html généré dans refmannotin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8953 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-06-09MAJ liste fichiers doc stdlibherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8937 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-05-02Ajout d'une option --coqlib_path pour Coqdoc (modification suggérée par S. ↵notin
Mimram) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8775 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-04-07- Documentation of the Program tactics.msozeau
- Fixes to the subtac implementation, utility tactic to apply existentials to a function and build a dependent sum out of name, constr lists. Also defined a Utils coq module for tactics related to subsets and the projections for ex in Prop. - Enhancements to inference algorithm added but not used in the default version as there are some remaining bugs. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8688 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-28- correction d'un bug dans coqdoc (multi_index)notin
- modif. de la génération de la doc de stdlib git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8669 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-25 r8708@thot: notin | 2006-03-24 18:55:01 +0100notin
Correction d'un bug sur la génération de la doc de stdlib git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8662 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-14 r8637@thot: notin | 2006-03-14 16:00:49 +0100notin
- intégration de doc dans le Makefile principal - correction d'une incompatibilité avec Tetex 3.0 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8626 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-03-10Ajout Tutorial on recursive typesherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8619 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-02-23Uniformisation noms Library*.texherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8608 85f007b7-540e-0410-9357-904b9bb8a0f7
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
restructuration du répertoire de documentation git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7
2005-01-25Suppression cible all-ps-docs; ajout www/index.htmlherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8596 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-06-27Il faut 2 fois latex apr�s l'index (cf bug #793)herbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8579 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-04-15Ajout documentation exportation XMLherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8545 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-14ajout d'une passe de latex our avoir un index correctbarras
+ quelques petites retouches sur la doc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8476 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-07plus derreur hevea/hachacoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8471 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06doc avec framesmohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8469 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06addendum comme part5, htmlsplit -> hachamohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8468 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8467 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-06*** empty log message ***mohring
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8461 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05MAJ pour compilation coq-tex correcteherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8457 85f007b7-540e-0410-9357-904b9bb8a0f7
2004-01-05correction bugs commit precedent et mise en forme htmlcoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8456 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-19COQBIN plus necessaire, typosmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8417 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-16coqide menus on golasmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8403 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-12coqidemarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8385 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-10presentation, biblio;marche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8381 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-04coqidemarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8377 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-02plus de pb avec referencemanual.shmarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8375 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-12-01version et stylemarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8371 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-11-24coqidemarche
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8369 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-09-25passage V8filliatr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8339 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13Backtrack faqherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8324 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-13MAJ Remark/Factherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8323 85f007b7-540e-0410-9357-904b9bb8a0f7
2003-02-04Release 7.4desmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8319 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-10-05Doc module, premiere versioncoq
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8297 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-09-10Correction bug Makefile docdesmettr
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8290 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-05-22Library est maintenant engendr� par coqdocherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8284 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-10MAJherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8266 85f007b7-540e-0410-9357-904b9bb8a0f7
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:12:54 +0000