aboutsummaryrefslogtreecommitdiff
path: root/doc/faq
AgeCommit message (Expand)Author
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-03-20Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...letouzey
2009-02-17maj de la faq: correction de l'exemple field qui compilait plus en 8.2, corre...jnarboux
2009-01-18Backporting from v8.2 to trunk:herbelin
2008-01-07Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqidenotin
2007-12-11Modification de la question no 172 de la FAQ (cf bug #1755)notin
2007-10-03Révision de theories/Logic concernant les axiomes de descriptions.herbelin
2007-08-13Correction du bug #1635notin
2007-06-19typo faqherbelin
2007-02-18Compilation de la FAQnotin
2007-01-17Correction adresse CoRN dans FAQ (suite)herbelin
2007-01-17Correction adresse CoRN dans FAQ (cf #1317)herbelin
2006-12-08Correction typo règle réduction du fix chapitre CCIherbelin
2006-12-01add a comment about Show Existentials and a question about case_eq jnarboux
2006-03-31Petite actualisation FAQherbelin
2006-03-14 r8637@thot: notin | 2006-03-14 16:00:49 +0100notin
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-02-01 09:36:43 +0000