index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
faq
Commit message (
Expand
)
Author
Age
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20
*
maj de la faq: correction de l'exemple field qui compilait plus en 8.2, corre...
jnarboux
2009-02-17
*
Backporting from v8.2 to trunk:
herbelin
2009-01-18
*
Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqide
notin
2008-01-07
*
Modification de la question no 172 de la FAQ (cf bug #1755)
notin
2007-12-11
*
Révision de theories/Logic concernant les axiomes de descriptions.
herbelin
2007-10-03
*
Correction du bug #1635
notin
2007-08-13
*
typo faq
herbelin
2007-06-19
*
Compilation de la FAQ
notin
2007-02-18
*
Correction adresse CoRN dans FAQ (suite)
herbelin
2007-01-17
*
Correction adresse CoRN dans FAQ (cf #1317)
herbelin
2007-01-17
*
Correction typo règle réduction du fix chapitre CCI
herbelin
2006-12-08
*
add a comment about Show Existentials and a question about case_eq
jnarboux
2006-12-01
*
Petite actualisation FAQ
herbelin
2006-03-31
*
r8637@thot: notin | 2006-03-14 16:00:49 +0100
notin
2006-03-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