aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-x-symbol.el
Commit message (Expand)AuthorAge
* 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-16 20:04:01 +0000