aboutsummaryrefslogtreecommitdiff
path: root/doc/refman/RefMan-pre.tex
AgeCommit message (Expand)Author
2018-03-15[Sphinx] Move credits to new infrastructureMaxime Dénès
2018-01-08Merge PR #6526: Fixing various typos in the Credits chapter.Maxime Dénès
2017-09-22Avoid generated names for html pages of the reference manual (bug #4742).Guillaume Melquiond
2017-09-01Fixing various typos in the Credits chapter.Théo Zimmermann
2017-08-31Credits for version 8.7Matthieu Sozeau
2017-04-11Update RefMan-pre to mention template polymorphism.Gaetan Gilbert
2016-11-10Update CHANGES and credits for 8.6beta1.Maxime Dénès
2016-11-08Rewording from EnricoMatthieu Sozeau
2016-11-07After Emilio's comment.Matthieu Sozeau
2016-11-07More accurate contributor list.Matthieu Sozeau
2016-11-07Hugo and Maxime's 2nd pass of commentsMatthieu Sozeau
2016-11-06Hugo's commentsMatthieu Sozeau
2016-11-06Maxime's commentsMatthieu Sozeau
2016-11-06Fixes from Enrico's reviewMatthieu Sozeau
2016-11-05Credits for 8.6Matthieu Sozeau
2016-01-15Thanks Hugo, but let's remain factual.Maxime Dénès
2015-12-16Updating credits.Hugo Herbelin
2015-01-21Reference Manual/Credits: expand the paragraph on the new proof engine to mat...Arnaud Spiwack
2015-01-21Reference Manual/Credits: native compute is a major contribution.Arnaud Spiwack
2015-01-21Reference manual/Credits: populate the "various smaller-scale improvements" p...Arnaud Spiwack
2015-01-21Reference Manual/Credits: remove a duplicate.Arnaud Spiwack
2015-01-21Reference manual: pass over the credit section for English.Arnaud Spiwack
2015-01-15Minor fixes to the refman credits to be continued.Matthieu Sozeau
2015-01-15Expand Credits for 8.5 and doc on universesMatthieu Sozeau
2015-01-15Tentatively updating credits while remaining brief.Hugo Herbelin
2015-01-11some credits for STMEnrico Tassi
2015-01-08Start credits for 8.5.Matthieu Sozeau
2014-12-09refman: switch all source files to utf8Pierre Letouzey
2014-09-03sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.texPierre Boutillier
2012-08-07Updating credits for final 8.4herbelin
2012-05-25Fixed #2789.ppedrot
2011-12-23Credits for 8.4: More exhaustive list of external contributors.herbelin
2011-12-22Credits for 8.4 + resetting COMPATIBILITY file.herbelin
2010-07-08Updating reference manual credits: gb is now nsatz.herbelin
2010-05-09Update of credits filesherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2008-10-27- Fixed many "Theorem with" bugs.herbelin
2008-06-09- Documentation de admit et Print Assumptions.herbelin
2008-05-28Notation concise pour la valeur par défaut des cas reconnus commeherbelin
2008-05-19MAJ créditsherbelin
2007-04-12Cleaned doc/common/title.tex file. Increased the space under headersemakarov
2007-04-10Eliminated warning messages from Hevea. Most warning messages wereemakarov
2006-10-26MAJ crédits, fresh; documentation apply inherbelin
2006-08-28MAJherbelin
2006-07-07Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...herbelin
2006-06-22updated documentation for my tactics (P. orbineaucorbinea
2006-06-09Nouvelle MAJherbelin
2006-04-13MAJ 8.1-APPherbelin
2006-04-13MAJ 8.1-APPherbelin
2006-02-24Modification des propriétés des fichiers .tex (svn:executable)notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 16:03:11 +0000