proof-general/coq/faq, branch master
Emacs plugins for proof management systems
SearchAbout is deprecated since 8.5; use Search instead
2020-04-01T21:51:25+00:00
Clément Pit-Claudel
2020-04-01T21:46:21+00:00
a38887058166487607f03972d6d2c25ee9d5dada
add two Coq faq entries and improve some other
2013-07-11T21:40:05+00:00
Hendrik Tews
2013-07-11T21:40:05+00:00
383711eace340b0ebab10782896de0021133afa4
Fixed interaction between file variables and coq project file + faq.
2013-07-09T17:40:44+00:00
Pierre Courtieu
2013-07-09T17:40:44+00:00
a169507920a0116839a32b691d095be7106932c7
Updating coq/faq
2013-07-08T23:23:06+00:00
Pierre Courtieu
2013-07-08T23:23:06+00:00
a818564b6e0ff66b0e52503b1359411b00c6f4a4
Added faq for coq pg.
2013-07-02T14:34:58+00:00
Pierre Courtieu
2013-07-02T14:34:58+00:00
19c71e830997b7311ba612f02b31165971180291