index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
tutorial
Commit message (
Expand
)
Author
Age
*
[vernac] Remove `Save.` command.
Emilio Jesus Gallego Arias
2017-05-23
*
Fix some typos in tutorial (bug #5294).
Guillaume Melquiond
2016-12-28
*
Update tutorial (fix bug #4699).
Guillaume Melquiond
2016-04-28
*
Fixing tutorial.
Pierre-Marie Pédrot
2015-09-21
*
Remove some outdated files and fix permissions.
Guillaume Melquiond
2015-07-31
*
Switch the few remaining iso-latin-1 files to utf8
Pierre Letouzey
2014-12-09
*
"allows to", like "allowing to", is improper
Jason Gross
2014-08-25
*
Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)
Guillaume Melquiond
2014-04-28
*
Renaming SearchAbout into Search and Search into SearchHead.
herbelin
2013-04-17
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
- Fixed various Overfull in documentation.
herbelin
2009-01-27
*
Updated dates
herbelin
2009-01-13
*
- Suppression de Rstar/Newman peu utilisables comme biblio (encodage
herbelin
2008-07-17
*
2-3 petites modifs sur la doc
notin
2008-06-10
*
Maj du lien vers coq-bugs dans Coqide.
glondu
2007-12-18
*
Mention de coqide, proof general et pcoq
herbelin
2006-06-23
*
Enleve les commentaires
cpaulin
2006-04-14
*
Mise à jour des Makefile, ajout licences, corrections mineures suite à
herbelin
2006-02-23
*
Nettoyage de l'archive doc et restructuration avant intégration à l'archive
herbelin
2006-02-23