aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-pre.tex
Commit message (Expand)AuthorAge
* Merge PR #6526: Fixing various typos in the Credits chapter.Gravatar Maxime Dénès2018-01-08
|\
* | Avoid generated names for html pages of the reference manual (bug #4742).Gravatar Guillaume Melquiond2017-09-22
| * Fixing various typos in the Credits chapter.Gravatar Théo Zimmermann2017-09-01
|/
* Credits for version 8.7Gravatar Matthieu Sozeau2017-08-31
* Update RefMan-pre to mention template polymorphism.Gravatar Gaetan Gilbert2017-04-11
* Update CHANGES and credits for 8.6beta1.Gravatar Maxime Dénès2016-11-10
* Rewording from EnricoGravatar Matthieu Sozeau2016-11-08
* After Emilio's comment.Gravatar Matthieu Sozeau2016-11-07
* More accurate contributor list.Gravatar Matthieu Sozeau2016-11-07
* Hugo and Maxime's 2nd pass of commentsGravatar Matthieu Sozeau2016-11-07
* Hugo's commentsGravatar Matthieu Sozeau2016-11-06
* Maxime's commentsGravatar Matthieu Sozeau2016-11-06
* Fixes from Enrico's reviewGravatar Matthieu Sozeau2016-11-06
* Credits for 8.6Gravatar Matthieu Sozeau2016-11-05
* Thanks Hugo, but let's remain factual.Gravatar Maxime Dénès2016-01-15
* Updating credits.Gravatar Hugo Herbelin2015-12-16
* Reference Manual/Credits: expand the paragraph on the new proof engine to mat...Gravatar Arnaud Spiwack2015-01-21
* Reference Manual/Credits: native compute is a major contribution.Gravatar Arnaud Spiwack2015-01-21
* Reference manual/Credits: populate the "various smaller-scale improvements" p...Gravatar Arnaud Spiwack2015-01-21
* Reference Manual/Credits: remove a duplicate.Gravatar Arnaud Spiwack2015-01-21
* Reference manual: pass over the credit section for English.Gravatar Arnaud Spiwack2015-01-21
* Minor fixes to the refman credits to be continued.Gravatar Matthieu Sozeau2015-01-15
* Expand Credits for 8.5 and doc on universesGravatar Matthieu Sozeau2015-01-15
* Tentatively updating credits while remaining brief.Gravatar Hugo Herbelin2015-01-15
* some credits for STMGravatar Enrico Tassi2015-01-11
* Start credits for 8.5.Gravatar Matthieu Sozeau2015-01-08
* refman: switch all source files to utf8Gravatar Pierre Letouzey2014-12-09
* sed -i.toto -e 's/Objective Caml/\{\ocaml\}/g' doc/refman/RefMan-*.texGravatar Pierre Boutillier2014-09-03
* Updating credits for final 8.4Gravatar herbelin2012-08-07
* Fixed #2789.Gravatar ppedrot2012-05-25
* Credits for 8.4: More exhaustive list of external contributors.Gravatar herbelin2011-12-23
* Credits for 8.4 + resetting COMPATIBILITY file.Gravatar herbelin2011-12-22
* Updating reference manual credits: gb is now nsatz.Gravatar herbelin2010-07-08
* Update of credits filesGravatar herbelin2010-05-09
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* - Fixed many "Theorem with" bugs.Gravatar herbelin2008-10-27
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* Notation concise pour la valeur par défaut des cas reconnus commeGravatar herbelin2008-05-28
* MAJ créditsGravatar herbelin2008-05-19
* Cleaned doc/common/title.tex file. Increased the space under headersGravatar emakarov2007-04-12
* Eliminated warning messages from Hevea. Most warning messages wereGravatar emakarov2007-04-10
* MAJ crédits, fresh; documentation apply inGravatar herbelin2006-10-26
* MAJGravatar herbelin2006-08-28
* Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...Gravatar herbelin2006-07-07
* updated documentation for my tactics (P. orbineauGravatar corbinea2006-06-22
* Nouvelle MAJGravatar herbelin2006-06-09
* MAJ 8.1-APPGravatar herbelin2006-04-13
* MAJ 8.1-APPGravatar herbelin2006-04-13
* Modification des propriétés des fichiers .tex (svn:executable)Gravatar notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty2006-02-24
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 14:46:41 +0000