aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-x-symbol.el
AgeCommit message (Expand)Author
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
1999-11-10Added URL for package to warning message. Prevent customize enabling if x-sy...David Aspinall
1999-11-10Added save-excursion.David Aspinall
1999-11-10Reorganized user options. Special new code for boolean settings.David Aspinall
1999-11-10Fix decoding of shell input.David Aspinall
1999-11-09Generic support for x-symbol tuned up.David Aspinall
1999-11-08Provisional updates for x-symbol support (incomplete)David Aspinall
1999-09-09tuned x-symbol setup (DvO);Makarius Wenzel
1999-08-23Disable properly if x-symbol is not available.David Aspinall
1999-08-23Integrated patch from David von Oheimb.David Aspinall
1998-12-18Missing bracket.David Aspinall
1998-12-18Beginnings of x-symbol support.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 14:04:55 +0000