aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/refman/RefMan-ide.tex
Commit message (Expand)AuthorAge
* refman: for xhtml validity, add 'alt' attributes to imgGravatar Pierre Letouzey2014-12-09
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* Removed the quasi-useless gtk2rc file and the documentation that went with it...Gravatar ppedrot2012-04-27
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-12 01:39:03 +0000