| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
| 2002-08-28 | Contact in case of probs. | David Aspinall |
| 2002-08-07 | Added proof-shell-strip-crs-from-output | David Aspinall |
| 2002-07-19 | Spacing | David Aspinall |
| 2002-07-18 | Add Tobias suggestion about font sizes | David Aspinall |
| 2002-07-18 | Update | David Aspinall |
| 2002-07-18 | Add FAQ about enabling X-Symbol. | David Aspinall |
| 2002-06-21 | Wrong: mustn't delete isa dir, files shared with isar. | David Aspinall |
