proof-general/FAQ, branch master Emacs plugins for proof management systems Rename FAQ -> FAQ.md 2016-07-25T22:05:52+00:00 Erik Martin-Dorel 2016-07-25T22:05:52+00:00 04e8a323da07c67031f4c0e23a020ba245938a0c 






Add documentation about the recommended way to set coq-prog-name.
2016-07-23T14:27:02+00:00

Erik Martin-Dorel

2016-07-23T14:27:02+00:00

026a3a7f984259c65ffa707c6bb8196c311a2f4b












Update a link (for latest version of FAQ).
2016-07-03T16:48:13+00:00

Erik Martin-Dorel

2016-07-03T16:48:13+00:00

5206520035b2869bc3b51556384790032e681b72












Summary: FAQ about copying output into new buffers
2015-03-13T19:16:35+00:00

David Aspinall

2015-03-13T19:16:35+00:00

d6225641adbf169c2300b3cf72484491be327881












Change default Unicode Tokens font back to DejaVU Sans, more reliable without installing STIX.
2012-04-30T13:17:14+00:00

David Aspinall

2012-04-30T13:17:14+00:00

72eeead8935ddf733022b2427c2cf2797126f570












Mention critical Emacs bug which destroys characters in certain
2012-01-10T12:59:54+00:00

David Aspinall

2012-01-10T12:59:54+00:00

f800a01bf3aa57e5f1252cd996b93f315a344251

compiles of Emacs 23.2.  See Trac#409.





compiles of Emacs 23.2.  See Trac#409.







Add suggestion for Q2 from Esben Andreasen to check comint-process-echoes.
2011-08-31T19:53:14+00:00

David Aspinall

2011-08-31T19:53:14+00:00

f4b7486b35567382de0814582d74e79e51a22e89












Clarify Q1
2010-08-25T15:15:52+00:00

David Aspinall

2010-08-25T15:15:52+00:00

89441f1672d3bbb948cfaf1ac17fac7aa581f2b3












Minor tweaks to versions, etc.
2010-08-17T12:02:09+00:00

David Aspinall

2010-08-17T12:02:09+00:00

25ffebf59b3168ef2b5a5719c8a21d81e3016432












Merge changes from Version4Branch.
2008-07-24T09:51:53+00:00

David Aspinall

2008-07-24T09:51:53+00:00

76d6b0b2b1f039549d308a0d2c478a6b05869af9