aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-ide.tex
Commit message (Expand)AuthorAge
* Documentation typo.Gravatar gmelquio2011-04-15
* Remove references to -ide option of coqmktopGravatar glondu2011-01-11
* TeX input method is now supported upstreamGravatar vgross2010-10-07
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Polishing the setup of CoqIDE Input MethodGravatar vgross2010-02-18
* Patches and instructions to enable Input Method support in CoqIDE.Gravatar vgross2009-12-21
* Added some missing statements for proof folding and correctedGravatar vgross2009-01-20
* Added proof folding into CoqIde. See RefMan for using it.Gravatar vgross2009-01-20
* Fixed bug #1540 (typo on name .coqide-gtk2rc)Gravatar herbelin2007-05-17
* Changed many refman/*.tex files. Put \label and \index commands that immediat...Gravatar emakarov2007-04-17
* ajout de la doc sur l'option -enable-geoproof de CoqIDEGravatar jnarboux2006-06-10
* r8637@thot: notin | 2006-03-14 16:00:49 +0100Gravatar notin2006-03-14
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23