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