coq/doc/faq, branch master The formal proof system Removing the FAQ, which has been moved to the GitHub wiki for this 2017-12-18T13:44:27+00:00 Matt Quinn 2017-12-11T04:28:23+00:00 d1457ecc41713b8fff745a66cd6c8375f26f4fc9 repository. Also removing FAQ-related build rules. 
repository. Also removing FAQ-related build rules.
Updating citing Coq in FAQ. 2017-10-10T12:57:05+00:00 Hugo Herbelin 2017-10-03T22:19:59+00:00 9b9071beb9be6eb62e01971edcba30415ba6ae27 






Fix some documentation typos.
2016-11-24T14:14:19+00:00

Guillaume Melquiond

2016-11-24T14:14:19+00:00

a27ac0315dcbb99c64a260bac3988199a26b39cf

Note: "dependant" does exist, but it is a noun and it means a person that
is somehow financially dependent on someone else.





Note: "dependant" does exist, but it is a noun and it means a person that
is somehow financially dependent on someone else.







update Proof General URL
2016-08-23T12:12:53+00:00

Paul Steckler

2016-08-22T19:31:24+00:00

50bece7c25e62132bc06c3bb0261937c657319d3












Fix some typos.
2015-10-14T08:39:55+00:00

Guillaume Melquiond

2015-10-14T08:39:55+00:00

f617aeef08441e83b13f839ce767b840fddbcf7d












Fix some typos.
2015-10-13T16:30:47+00:00

Guillaume Melquiond

2015-10-13T16:30:47+00:00

ed95f122f3c68becc09c653471dc2982b346d343












Remove generatable documentation files from repository. (Fix bug #4315)
2015-08-17T13:58:18+00:00

Guillaume Melquiond

2015-08-17T13:58:18+00:00

45779d74209a728cfd67628eaa53b42fee129f65












Avoid suggesting elim and decompose in the FAQ.
2015-07-30T08:19:35+00:00

Guillaume Melquiond

2015-07-30T08:19:35+00:00

5cf7ce6afae0e8e5310755f05a26450f428da04f












Remove some output of Qed in the FAQ.
2015-07-30T08:04:49+00:00

Guillaume Melquiond

2015-07-30T08:04:49+00:00

8ccd08f6bc6bcbda01cf65d2b6e7ecd62e4c4972












Fix some broken Coq scripts in the documentation.
2015-07-30T07:53:30+00:00

Guillaume Melquiond

2015-07-30T07:53:30+00:00

35a743761478fffaaafd54368a5dcbcecd3133eb