aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-int.tex
Commit message (Expand)AuthorAge
* Making references to Proof General and CoqIDE uniform in Reference Manual.Gravatar Hugo Herbelin2014-08-05
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* correction : coqart is already publishedGravatar jnarboux2008-08-06
* Standardisation du format des références croisées vers Figure, Section, Ch...Gravatar herbelin2008-01-05
* Eliminated warning messages from Hevea. Most warning messages wereGravatar emakarov2007-04-10
* 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