aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/faq
Commit message (Expand)AuthorAge
* Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous CoqideGravatar notin2008-01-07
* Modification de la question no 172 de la FAQ (cf bug #1755)Gravatar notin2007-12-11
* Révision de theories/Logic concernant les axiomes de descriptions.Gravatar herbelin2007-10-03
* Correction du bug #1635Gravatar notin2007-08-13
* typo faqGravatar herbelin2007-06-19
* Compilation de la FAQGravatar notin2007-02-18
* Correction adresse CoRN dans FAQ (suite)Gravatar herbelin2007-01-17
* Correction adresse CoRN dans FAQ (cf #1317)Gravatar herbelin2007-01-17
* Correction typo règle réduction du fix chapitre CCIGravatar herbelin2006-12-08
* add a comment about Show Existentials and a question about case_eq Gravatar jnarboux2006-12-01
* Petite actualisation FAQGravatar herbelin2006-03-31
* r8637@thot: notin | 2006-03-14 16:00:49 +0100Gravatar notin2006-03-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