aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-x-symbol.el
AgeCommit message (Expand)Author
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-17Symmetric change for #201David Aspinall
2008-01-29Fix behaviour of proof-x-symbol-enable to follow customizeDavid Aspinall
2008-01-28Fix to proof-x-symbol-enable: only engage when indeed being turned on.David Aspinall
2008-01-17Prevent font-lock complaining about not being setup.David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-16Cleanup compileDavid Aspinall
2008-01-16Updated.David Aspinall
2008-01-16Fix compilation: need proof-utilsDavid Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Tweak fix: it's *probably* not necessary in non-mule mode (needs testing onDavid Aspinall
2008-01-15proof-x-symbol-decode-region: add fontification to fix missing subscript/subs...David Aspinall
2008-01-15Documentation.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Move x-symbol-language hereDavid Aspinall
2007-12-10proof-x-symbol-initialize: fix default mode name constructionDavid Aspinall
2007-12-09Comments.David Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2005-02-13Remove setting of x-symbol-language by C Raffalli.David Aspinall
2004-10-20added proof-x-symbol-set-language for script bufferChristophe Raffalli
2004-08-25CommentDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-04-05Tweak to initialisation; fix prob with turning on during scripting.David Aspinall
2003-03-17More tweaks so that (proof-ass x-symbol-enable) is pervasive.David Aspinall
2003-03-16Streamline startup.David Aspinall
2003-03-14Use X-Symbol supplied functions for encoding input and decoding output regionsDavid Aspinall
2003-03-05List of stuff to do hereDavid Aspinall
2003-03-03Fix sticky mode properties for X-SymbolDavid Aspinall
2003-02-24Documentation.David Aspinall
2003-02-24Set x-symbol-data-directoryDavid Aspinall
2003-02-22Fixes to work with bundled versionDavid Aspinall
2003-02-22Add code to use bundled version, commented out since broken.David Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2003-02-19Documentation.David Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
2002-08-15TypoDavid Aspinall
2002-07-18CommentsDavid Aspinall
2002-07-18Remove completion table adjustment fixed in X-Symol since Jun 01.David Aspinall
2002-07-16CommentsDavid Aspinall
2002-07-01Fix problem with GNU Emacs support: switch to multibyte in output buffersDavid Aspinall
2002-06-24Require x-symbol-vars as recommended for new version (works with old too?)David Aspinall
2002-06-21GPLDavid Aspinall
2002-05-03Fix X-symbol URLDavid Aspinall
2002-02-23Simplify enabling tests to just check window-system. Fix proof-x-symbol-deco...David Aspinall
2002-01-15Also put trace buffer in x sym modeDavid Aspinall
2001-08-30Updates for recent version of X-symbol, which has no file called x-symbol-aut...David Aspinall
2000-09-13capitalize xs-lang-name;Makarius Wenzel
2000-06-16Added pgcustom x-symbol-language to allow different language name than proof ...David Aspinall
2000-06-15More comments at top of fileDavid Aspinall
2000-05-31Compatibility with completion package.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:51:12 +0000