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