| Commit message (Expand) | Author | Age |
* | Rationalise testing for different values of window-system, to/and support mor... | David Aspinall | 2006-10-27 |
* | Remove setting of x-symbol-language by C Raffalli. | David Aspinall | 2005-02-13 |
* | added proof-x-symbol-set-language for script buffer | Christophe Raffalli | 2004-10-20 |
* | Comment | David Aspinall | 2004-08-25 |
* | Update email and web addresses | David Aspinall | 2004-02-08 |
* | Tweak to initialisation; fix prob with turning on during scripting. | David Aspinall | 2003-04-05 |
* | More tweaks so that (proof-ass x-symbol-enable) is pervasive. | David Aspinall | 2003-03-17 |
* | Streamline startup. | David Aspinall | 2003-03-16 |
* | Use X-Symbol supplied functions for encoding input and decoding output regions | David Aspinall | 2003-03-14 |
* | List of stuff to do here | David Aspinall | 2003-03-05 |
* | Fix sticky mode properties for X-Symbol | David Aspinall | 2003-03-03 |
* | Documentation. | David Aspinall | 2003-02-24 |
* | Set x-symbol-data-directory | David Aspinall | 2003-02-24 |
* | Fixes to work with bundled version | David Aspinall | 2003-02-22 |
* | Add code to use bundled version, commented out since broken. | David Aspinall | 2003-02-22 |
* | Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling. | David Aspinall | 2003-02-19 |
* | Documentation. | David Aspinall | 2003-02-19 |
* | Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or | David Aspinall | 2003-02-19 |
* | Typo | David Aspinall | 2002-08-15 |
* | Comments | David Aspinall | 2002-07-18 |
* | Remove completion table adjustment fixed in X-Symol since Jun 01. | David Aspinall | 2002-07-18 |
* | Comments | David Aspinall | 2002-07-16 |
* | Fix problem with GNU Emacs support: switch to multibyte in output buffers | David Aspinall | 2002-07-01 |
* | Require x-symbol-vars as recommended for new version (works with old too?) | David Aspinall | 2002-06-24 |
* | GPL | David Aspinall | 2002-06-21 |
* | Fix X-symbol URL | David Aspinall | 2002-05-03 |
* | Simplify enabling tests to just check window-system. Fix proof-x-symbol-deco... | David Aspinall | 2002-02-23 |
* | Also put trace buffer in x sym mode | David Aspinall | 2002-01-15 |
* | Updates for recent version of X-symbol, which has no file called x-symbol-aut... | David Aspinall | 2001-08-30 |
* | capitalize xs-lang-name; | Makarius Wenzel | 2000-09-13 |
* | Added pgcustom x-symbol-language to allow different language name than proof ... | David Aspinall | 2000-06-16 |
* | More comments at top of file | David Aspinall | 2000-06-15 |
* | Compatibility with completion package. | David Aspinall | 2000-05-31 |
* | Switch to using per-prover generic option for x-symbol-enable. | David Aspinall | 2000-05-26 |
* | Improved loading | David Aspinall | 2000-05-09 |
* | pbp-mode -> goals-mode | David Aspinall | 2000-04-07 |
* | Attempted fix for thy-mode X-Symbol problems. Still buggy. | David Aspinall | 2000-01-12 |
* | Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input. | David Aspinall | 1999-11-23 |
* | Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode. | David Aspinall | 1999-11-22 |
* | Fix a couple of group names, and comments at top of file. | David Aspinall | 1999-11-22 |
* | Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to do... | David Aspinall | 1999-11-18 |
* | Use new function proof-try-require instead of condition-case ... | David Aspinall | 1999-11-18 |
* | Comments | David Aspinall | 1999-11-17 |
* | Cleanup and use some macros from proof.el | David Aspinall | 1999-11-15 |
* | Fix for automode list | David Aspinall | 1999-11-12 |
* | Typo in x-symbol enable | David Aspinall | 1999-11-12 |
* | Typo in x-symbol enable | David Aspinall | 1999-11-12 |
* | Fixes for response buffer display, x-symbol, output formatting. | David Aspinall | 1999-11-12 |
* | Attempted x-symbol improvements | David Aspinall | 1999-11-11 |
* | Next round of fixups for font-lock and x-symbol. | David Aspinall | 1999-11-11 |