aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-x-symbol.el
AgeCommit message (Expand)Author
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
2000-05-26Switch to using per-prover generic option for x-symbol-enable.David Aspinall
2000-05-09Improved loadingDavid Aspinall
2000-04-07pbp-mode -> goals-modeDavid Aspinall
2000-01-12Attempted fix for thy-mode X-Symbol problems. Still buggy.David Aspinall
1999-11-23Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.David Aspinall
1999-11-22Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.David Aspinall
1999-11-22Fix a couple of group names, and comments at top of file.David Aspinall
1999-11-18Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to do...David Aspinall
1999-11-18Use new function proof-try-require instead of condition-case ...David Aspinall
1999-11-17CommentsDavid Aspinall
1999-11-15Cleanup and use some macros from proof.elDavid Aspinall
1999-11-12Fix for automode listDavid Aspinall
1999-11-12Typo in x-symbol enableDavid Aspinall
1999-11-12Typo in x-symbol enableDavid Aspinall
1999-11-12Fixes for response buffer display, x-symbol, output formatting.David Aspinall
1999-11-11Attempted x-symbol improvementsDavid Aspinall
1999-11-11Next round of fixups for font-lock and x-symbol.David Aspinall
1999-11-11Extensive fixes for x-symbol and font-lock.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 03:22:32 +0000