aboutsummaryrefslogtreecommitdiff
path: root/doc/faq
AgeCommit message (Expand)Author
2017-12-18Removing the FAQ, which has been moved to the GitHub wiki for thisMatt Quinn
2017-10-10Updating citing Coq in FAQ.Hugo Herbelin
2016-11-24Fix some documentation typos.Guillaume Melquiond
2016-08-23update Proof General URLPaul Steckler
2015-10-14Fix some typos.Guillaume Melquiond
2015-10-13Fix some typos.Guillaume Melquiond
2015-08-17Remove generatable documentation files from repository. (Fix bug #4315)Guillaume Melquiond
2015-07-30Avoid suggesting elim and decompose in the FAQ.Guillaume Melquiond
2015-07-30Remove some output of Qed in the FAQ.Guillaume Melquiond
2015-07-30Fix some broken Coq scripts in the documentation.Guillaume Melquiond
2015-07-29Improve the FAQ a bit.Guillaume Melquiond
2015-07-28Reset a dangling proof in the FAQ.Guillaume Melquiond
2015-07-26Regenerate the axiom figure of the FAQ.Guillaume Melquiond
2015-07-26Remove obsolete question about eta-conversion.Guillaume Melquiond
2015-03-11admit: replaced by give_up + Admitted (no proof_admitted : False, close #4032)Enrico Tassi
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-11-27FAQ: fix some broken urlsPierre Letouzey
2014-09-08Removing the documentation of the XML plugin.Pierre-Marie Pédrot
2014-08-25Grammar: "allowing to" is not proper EnglishJason Gross
2014-04-28Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)Guillaume Melquiond
2014-04-05Completing text of the question on conservativity of CIC over CC (bug #2697).Hugo Herbelin
2014-04-02Fix Bug 3131 + Really drop mentions of info in refman.Pierre Boutillier
2012-08-08Updating version numbers.herbelin
2012-07-05Open Local Scope ---> Local Open Scope, same with Notation and aliiletouzey
2012-07-05ZArith + other : favor the use of modern names instead of compat notationsletouzey
2012-05-29place all files specific to camlp4 syntax extensions in grammar/letouzey
2012-05-03Fixup r15251 second timepboutill
2012-04-27Removed the quasi-useless gtk2rc file and the documentation that went with it...ppedrot
2012-02-20- changing minimal version for OCaml: Coq uses Filename.dirsep that is availa...notin
2011-11-28doc: two minor fixes to make my latex happyletouzey
2011-11-20CoqIdE configuration file won't pollute your home anymorepboutill
2011-10-01Updating some links in the FAQherbelin
2011-09-24Applying Jean-Baptiste Rouquier's FAQ update proposed on coqdev aboutherbelin
2011-01-11Remove references to -ide option of coqmktopglondu
2010-12-09Example of a simple ML tactic (Hello world).fkirchne
2010-12-04Applied patch to FAQ proposed by Hendrik Tews (bug report #2446).herbelin
2010-09-28Minor fixes of 'make doc'pboutill
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:56:39 +0000