aboutsummaryrefslogtreecommitdiff
path: root/FAQ
AgeCommit message (Expand)Author
2006-08-23Tweak to FAQ#1David Aspinall
2006-05-11Note about proof-shell-unicode setting.David Aspinall
2006-05-11Note about proof-shell-unicode setting.David Aspinall
2005-09-30Update xml.el issueDavid Aspinall
2005-06-02Update FAQ #1David Aspinall
2005-04-27Add FAQ about favouritesDavid Aspinall
2005-02-15Update FAQ for X-Symbol large fonts (from Clemens Ballarin)David Aspinall
2005-02-01FAQ #1 typoDavid Aspinall
2004-08-25Updated.David Aspinall
2004-08-25Document warning message for xml.elDavid Aspinall
2004-06-11Updated.David Aspinall
2004-06-11Expand that UTF 8 affects Suse 9.1David Aspinall
2004-06-04Suggest to change LC_CTYPE rather than LANG. Thanks to Achim Brucker.David Aspinall
2004-06-02Fix typoDavid Aspinall
2004-05-19FAQ about load file executable errorDavid Aspinall
2004-05-07Updated.David Aspinall
2004-05-07Explain buffer invisibilityDavid Aspinall
2004-04-27Updated.David Aspinall
2004-04-24Add FAW on cannot switch buffers errorDavid Aspinall
2004-04-17Updated.David Aspinall
2004-04-16Add FAQ about .elcs failing in GNU Emacs.David Aspinall
2004-04-16Oops, another stray old URL...David Aspinall
2004-04-14Mention coding system for x-symbol warning message.David Aspinall
2004-03-01Mention non-Mule XEmacs version probsDavid Aspinall
2004-02-08Fix web addressesDavid Aspinall
2004-02-07UpdatedDavid Aspinall
2003-10-05Updated.David Aspinall
2003-05-28Updated.David Aspinall
2003-05-20Updated.David Aspinall
2003-02-17Larrys suggestion for lookup-syntax-properties.David Aspinall
2003-01-20Updated.David Aspinall
2002-08-28Contact in case of probs.David Aspinall
2002-08-07Added proof-shell-strip-crs-from-outputDavid Aspinall
2002-07-19SpacingDavid Aspinall
2002-07-18Add Tobias suggestion about font sizesDavid Aspinall
2002-07-18UpdateDavid Aspinall
2002-07-18Add FAQ about enabling X-Symbol.David Aspinall
2002-06-21Wrong: mustn't delete isa dir, files shared with isar.David Aspinall
2002-06-21Isar is default over isa.David Aspinall
2001-08-10Remove note about 3.1David Aspinall
2000-09-26Fix Proof General web page to www.proofgeneral.org.David Aspinall
2000-06-22Rearranged, more info about X-Sym probsDavid Aspinall
2000-05-16Added question asked by Larry.David Aspinall
2000-05-11X-Symbol funny chars questionDavid Aspinall
2000-05-09Added question about saving optionsDavid Aspinall
2000-05-05Beginnings of a FAQ.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:18:09 +0000