aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.doc
Commit message (Expand)AuthorAge
* Install index_urls.txt in a location where coqide might actually find it.Gravatar Guillaume Melquiond2014-10-24
* Fix generation of the index_urls.txt file.Gravatar Guillaume Melquiond2014-10-24
* configure: get rid of the -src option and of ${COQSRC}Gravatar letouzey2012-08-23
* Improved synchronisation of stdlib index page with current library state.Gravatar herbelin2012-02-01
* Makefile.doc: attempt to solve race condition for creating doc/refman/html.Gravatar herbelin2012-01-03
* Bug 2669 and more: make full-stdlibGravatar pboutill2011-12-27
* Force dependency of Reference-Manual.pdf over Reference-Manual.dviGravatar herbelin2011-10-05
* Makefile.doc: typo, index_url.txt should be index_urls.txtGravatar letouzey2011-09-19
* Various fixes in the MakefilesGravatar letouzey2011-09-17
* Add "make full-stdlib" to make all the doc in pdf as ask by bug 2395Gravatar pboutill2011-04-08
* Added doc/refman/coqide.eps and coqide-queries.eps to remove the need for png...Gravatar emakarov2010-09-06
* Small improvements around coqdoc (including fix for bug #2288)Gravatar herbelin2010-03-30
* Fix the stdlib doc compilation + switch all .v file to utf8Gravatar letouzey2009-09-28
* - Tentatively made order-dependency wrt .vo files a full dependencyGravatar herbelin2009-09-15
* install-doc* are PHONYGravatar lmamane2009-08-25
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* Makefile: fix ignored errors, several attempts to clarify thingsGravatar letouzey2009-03-16
* Modification du style du manuel de référenceGravatar notin2009-02-11
* A few fixes for bug #2032 (backport r11857)Gravatar glondu2009-02-11
* More portable way to pipe stderrGravatar glondu2009-01-30
* Solves some warning and hides some not-bad ones in doc. It remains aGravatar herbelin2009-01-29
* - Fixed various Overfull in documentation.Gravatar herbelin2009-01-27
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Minor doc fixes:Gravatar msozeau2009-01-08
* Produce better html code with coqdoc and improve doc:Gravatar msozeau2008-12-29
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* make doc ne compilait plus la doc de stdlib (bug #1996)Gravatar notin2008-11-14
* Correction du bug #1995Gravatar notin2008-11-12
* Oups...Gravatar notin2008-10-29
* Dépendance des cibles de la documentation envers les cibles de CoqGravatar notin2008-10-29
* Suppression de la dépendance de install-doc envers doc :Gravatar notin2008-10-17
* report de la révision r11451 (nouveau style html pour le manuel de référence)Gravatar notin2008-10-14
* Suite commit #11311Gravatar notin2008-08-07
* Fix typoGravatar glondu2008-07-28
* Use COQINSTALLPREFIX for doc tooGravatar glondu2008-07-28
* Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...Gravatar notin2008-07-16
* Mauvaise dépendance dans Makefile.docGravatar notin2008-06-26
* Report de la révision #11175 de la branche v8.2 vers le trunkGravatar notin2008-06-25
* Installation de la documentationGravatar notin2008-06-25
* Numéros de version dans la docGravatar notin2008-06-13
* Remplacement des 'cp' et 'mkdir' par 'install'Gravatar notin2008-06-12
* 2-3 petites modifs sur la docGravatar notin2008-06-10
* MAJ créditsGravatar herbelin2008-05-19
* - Changement du code de Zplus pour accomoder ring qui sinon prend uneGravatar herbelin2008-05-11
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* Pour engendrer version.tex, adoption de printf qui, au contraire deGravatar herbelin2008-04-18
* pbm avec echoGravatar filliatr2008-04-18
* Fix examples in Program documentation and add comindexes for the variousGravatar msozeau2008-03-23
* Petits oublis dans Makefile.docGravatar notin2008-02-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-13 10:37:33 +0000