aboutsummaryrefslogtreecommitdiff
path: root/doc/tutorial
AgeCommit message (Expand)Author
2017-08-01Improve style slightlySam Pablo Kuper
2017-07-31Replace jarring use of "Remark" with "Note"Sam Pablo Kuper
2017-06-30Mention again how to report bug and get version number.Théo Zimmermann
2017-06-29Better phrasing.Théo Zimmermann
2017-06-29More substance on discouraged practices.Théo Zimmermann
2017-06-29Some more corrections to the tutorial.Théo Zimmermann
2017-06-29Mask the reliance on coqtop.Théo Zimmermann
2017-06-28Update the Tutorial.Théo Zimmermann
2017-05-23[vernac] Remove `Save.` command.Emilio Jesus Gallego Arias
2016-12-28Fix some typos in tutorial (bug #5294).Guillaume Melquiond
2016-04-28Update tutorial (fix bug #4699).Guillaume Melquiond
2015-09-21Fixing tutorial.Pierre-Marie Pédrot
2015-07-31Remove some outdated files and fix permissions.Guillaume Melquiond
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-08-25"allows to", like "allowing to", is improperJason Gross
2014-04-28Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Guillaume Melquiond
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-01-27- Fixed various Overfull in documentation.herbelin
2009-01-13Updated datesherbelin
2008-07-17- Suppression de Rstar/Newman peu utilisables comme biblio (encodageherbelin
2008-06-102-3 petites modifs sur la docnotin
2007-12-18Maj du lien vers coq-bugs dans Coqide.glondu
2006-06-23Mention de coqide, proof general et pcoqherbelin
2006-04-14Enleve les commentairescpaulin
2006-02-23Mise à jour des Makefile, ajout licences, corrections mineures suite àherbelin
2006-02-23Nettoyage de l'archive doc et restructuration avant intégration à l'archiveherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:29:15 +0000