aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/faq
Commit message (Expand)AuthorAge
* Remove references to -ide option of coqmktopGravatar glondu2011-01-11
* Example of a simple ML tactic (Hello world).Gravatar fkirchne2010-12-09
* Applied patch to FAQ proposed by Hendrik Tews (bug report #2446).Gravatar herbelin2010-12-04
* Minor fixes of 'make doc'Gravatar pboutill2010-09-28
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* maj de la faq: correction de l'exemple field qui compilait plus en 8.2, corre...Gravatar jnarboux2009-02-17
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 14:41:52 +0000