index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
FAQ
Commit message (
Expand
)
Author
Age
*
Add documentation about the recommended way to set coq-prog-name.
Erik Martin-Dorel
2016-07-23
*
Update a link (for latest version of FAQ).
Erik Martin-Dorel
2016-07-03
*
Summary: FAQ about copying output into new buffers
David Aspinall
2015-03-13
*
Change default Unicode Tokens font back to DejaVU Sans, more reliable without...
David Aspinall
2012-04-30
*
Mention critical Emacs bug which destroys characters in certain
David Aspinall
2012-01-10
*
Add suggestion for Q2 from Esben Andreasen to check comint-process-echoes.
David Aspinall
2011-08-31
*
Clarify Q1
David Aspinall
2010-08-25
*
Minor tweaks to versions, etc.
David Aspinall
2010-08-17
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Add item for #204
David Aspinall
2008-02-17
*
Add item for #204
David Aspinall
2008-02-17
*
Updated.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-31
*
Updated.
David Aspinall
2008-01-15
*
Updated.
David Aspinall
2008-01-15
*
Updated.
David Aspinall
2008-01-15
*
Mention coq-utf-safe
David Aspinall
2007-03-17
*
Choose Emacs instead of XEmacs
David Aspinall
2007-03-04
*
Mention prefer-coding-system as suggested by Florian Haftmann
David Aspinall
2007-02-22
*
Add FAQ on funny symbols/x-symbol problems
David Aspinall
2007-01-03
*
Tweak to FAQ#1
David Aspinall
2006-08-23
*
Note about proof-shell-unicode setting.
David Aspinall
2006-05-11
*
Note about proof-shell-unicode setting.
David Aspinall
2006-05-11
*
Update xml.el issue
David Aspinall
2005-09-30
*
Update FAQ #1
David Aspinall
2005-06-02
*
Add FAQ about favourites
David Aspinall
2005-04-27
*
Update FAQ for X-Symbol large fonts (from Clemens Ballarin)
David Aspinall
2005-02-15
*
FAQ #1 typo
David Aspinall
2005-02-01
*
Updated.
David Aspinall
2004-08-25
*
Document warning message for xml.el
David Aspinall
2004-08-25
*
Updated.
David Aspinall
2004-06-11
*
Expand that UTF 8 affects Suse 9.1
David Aspinall
2004-06-11
*
Suggest to change LC_CTYPE rather than LANG. Thanks to Achim Brucker.
David Aspinall
2004-06-04
*
Fix typo
David Aspinall
2004-06-02
*
FAQ about load file executable error
David Aspinall
2004-05-19
*
Updated.
David Aspinall
2004-05-07
*
Explain buffer invisibility
David Aspinall
2004-05-07
*
Updated.
David Aspinall
2004-04-27
*
Add FAW on cannot switch buffers error
David Aspinall
2004-04-24
*
Updated.
David Aspinall
2004-04-17
*
Add FAQ about .elcs failing in GNU Emacs.
David Aspinall
2004-04-16
*
Oops, another stray old URL...
David Aspinall
2004-04-16
*
Mention coding system for x-symbol warning message.
David Aspinall
2004-04-14
*
Mention non-Mule XEmacs version probs
David Aspinall
2004-03-01
*
Fix web addresses
David Aspinall
2004-02-08
*
Updated
David Aspinall
2004-02-07
*
Updated.
David Aspinall
2003-10-05
*
Updated.
David Aspinall
2003-05-28
*
Updated.
David Aspinall
2003-05-20
*
Larrys suggestion for lookup-syntax-properties.
David Aspinall
2003-02-17
[next]