index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-x-symbol.el
Commit message (
Expand
)
Author
Age
*
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
*
Extensive fixes for x-symbol and font-lock.
David Aspinall
1999-11-11
*
Added URL for package to warning message. Prevent customize enabling if x-sy...
David Aspinall
1999-11-10
*
Added save-excursion.
David Aspinall
1999-11-10
*
Reorganized user options. Special new code for boolean settings.
David Aspinall
1999-11-10
*
Fix decoding of shell input.
David Aspinall
1999-11-10
*
Generic support for x-symbol tuned up.
David Aspinall
1999-11-09
*
Provisional updates for x-symbol support (incomplete)
David Aspinall
1999-11-08
*
tuned x-symbol setup (DvO);
Makarius Wenzel
1999-09-09
*
Disable properly if x-symbol is not available.
David Aspinall
1999-08-23
*
Integrated patch from David von Oheimb.
David Aspinall
1999-08-23
*
Missing bracket.
David Aspinall
1998-12-18
*
Beginnings of x-symbol support.
David Aspinall
1998-12-18