aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-x-symbol.el
Commit message (Expand)AuthorAge
* CommentsGravatar David Aspinall2002-07-18
* Remove completion table adjustment fixed in X-Symol since Jun 01.Gravatar David Aspinall2002-07-18
* CommentsGravatar David Aspinall2002-07-16
* Fix problem with GNU Emacs support: switch to multibyte in output buffersGravatar David Aspinall2002-07-01
* Require x-symbol-vars as recommended for new version (works with old too?)Gravatar David Aspinall2002-06-24
* GPLGravatar David Aspinall2002-06-21
* Fix X-symbol URLGravatar David Aspinall2002-05-03
* Simplify enabling tests to just check window-system. Fix proof-x-symbol-deco...Gravatar David Aspinall2002-02-23
* Also put trace buffer in x sym modeGravatar David Aspinall2002-01-15
* Updates for recent version of X-symbol, which has no file called x-symbol-aut...Gravatar David Aspinall2001-08-30
* capitalize xs-lang-name;Gravatar Makarius Wenzel2000-09-13
* Added pgcustom x-symbol-language to allow different language name than proof ...Gravatar David Aspinall2000-06-16
* More comments at top of fileGravatar David Aspinall2000-06-15
* Compatibility with completion package.Gravatar David Aspinall2000-05-31
* Switch to using per-prover generic option for x-symbol-enable.Gravatar David Aspinall2000-05-26
* Improved loadingGravatar David Aspinall2000-05-09
* pbp-mode -> goals-modeGravatar David Aspinall2000-04-07
* Attempted fix for thy-mode X-Symbol problems. Still buggy.Gravatar David Aspinall2000-01-12
* Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.Gravatar David Aspinall1999-11-23
* Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.Gravatar David Aspinall1999-11-22
* Fix a couple of group names, and comments at top of file.Gravatar David Aspinall1999-11-22
* Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to do...Gravatar David Aspinall1999-11-18
* Use new function proof-try-require instead of condition-case ...Gravatar David Aspinall1999-11-18
* CommentsGravatar David Aspinall1999-11-17
* Cleanup and use some macros from proof.elGravatar David Aspinall1999-11-15
* Fix for automode listGravatar David Aspinall1999-11-12
* Typo in x-symbol enableGravatar David Aspinall1999-11-12
* Typo in x-symbol enableGravatar David Aspinall1999-11-12
* Fixes for response buffer display, x-symbol, output formatting.Gravatar David Aspinall1999-11-12
* Attempted x-symbol improvementsGravatar David Aspinall1999-11-11
* Next round of fixups for font-lock and x-symbol.Gravatar David Aspinall1999-11-11
* Extensive fixes for x-symbol and font-lock.Gravatar David Aspinall1999-11-11
* Added URL for package to warning message. Prevent customize enabling if x-sy...Gravatar David Aspinall1999-11-10
* Added save-excursion.Gravatar David Aspinall1999-11-10
* Reorganized user options. Special new code for boolean settings.Gravatar David Aspinall1999-11-10
* Fix decoding of shell input.Gravatar David Aspinall1999-11-10
* Generic support for x-symbol tuned up.Gravatar David Aspinall1999-11-09
* Provisional updates for x-symbol support (incomplete)Gravatar David Aspinall1999-11-08
* tuned x-symbol setup (DvO);Gravatar Makarius Wenzel1999-09-09
* Disable properly if x-symbol is not available.Gravatar David Aspinall1999-08-23
* Integrated patch from David von Oheimb.Gravatar David Aspinall1999-08-23
* Missing bracket.Gravatar David Aspinall1998-12-18
* Beginnings of x-symbol support.Gravatar David Aspinall1998-12-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 08:44:07 +0000