aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-x-symbol.el
AgeCommit message (Collapse)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
setting.
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
non-mule Emacs).
2008-01-15proof-x-symbol-decode-region: add fontification to fix missing ↵David Aspinall
subscript/subscripts.
2008-01-15Documentation.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, ↵David Aspinall
namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
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 ↵David Aspinall
more Emacs ports easily
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
off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!).
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 ↵David Aspinall
proof-x-symbol-decode-region to return new END value after decoding.
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 ↵David Aspinall
x-symbol-autoloads.
2000-09-13capitalize xs-lang-name;Makarius Wenzel
2000-06-16Added pgcustom x-symbol-language to allow different language name than proof ↵David Aspinall
assistant
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 07:42:19 +0000