aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/tutorial
Commit message (Expand)AuthorAge
* Mention again how to report bug and get version number.Gravatar Théo Zimmermann2017-06-30
* Better phrasing.Gravatar Théo Zimmermann2017-06-29
* More substance on discouraged practices.Gravatar Théo Zimmermann2017-06-29
* Some more corrections to the tutorial.Gravatar Théo Zimmermann2017-06-29
* Mask the reliance on coqtop.Gravatar Théo Zimmermann2017-06-29
* Update the Tutorial.Gravatar Théo Zimmermann2017-06-28
* [vernac] Remove `Save.` command.Gravatar Emilio Jesus Gallego Arias2017-05-23
* Fix some typos in tutorial (bug #5294).Gravatar Guillaume Melquiond2016-12-28
* Update tutorial (fix bug #4699).Gravatar Guillaume Melquiond2016-04-28
* Fixing tutorial.Gravatar Pierre-Marie Pédrot2015-09-21
* Remove some outdated files and fix permissions.Gravatar Guillaume Melquiond2015-07-31
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* "allows to", like "allowing to", is improperGravatar Jason Gross2014-08-25
* Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Gravatar Guillaume Melquiond2014-04-28
* Renaming SearchAbout into Search and Search into SearchHead.Gravatar herbelin2013-04-17
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* - Fixed various Overfull in documentation.Gravatar herbelin2009-01-27
* Updated datesGravatar herbelin2009-01-13
* - Suppression de Rstar/Newman peu utilisables comme biblio (encodageGravatar herbelin2008-07-17
* 2-3 petites modifs sur la docGravatar notin2008-06-10
* Maj du lien vers coq-bugs dans Coqide.Gravatar glondu2007-12-18
* Mention de coqide, proof general et pcoqGravatar herbelin2006-06-23
* Enleve les commentairesGravatar cpaulin2006-04-14
* Mise à jour des Makefile, ajout licences, corrections mineures suite àGravatar herbelin2006-02-23
* Nettoyage de l'archive doc et restructuration avant intégration à l'archiveGravatar herbelin2006-02-23