proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	proof-x-symbol-initialize: fix default mode name construction	David Aspinall	2007-12-10
\|
*	Comments.	David Aspinall	2007-12-09
\|
*	Rationalise testing for different values of window-system, to/and support ↵	David Aspinall	2006-10-27
\| \| \| \|	more Emacs ports easily
*	Remove setting of x-symbol-language by C Raffalli.	David Aspinall	2005-02-13
\|
*	added proof-x-symbol-set-language for script buffer	Christophe Raffalli	2004-10-20
\|
*	Comment	David Aspinall	2004-08-25
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Tweak to initialisation; fix prob with turning on during scripting.	David Aspinall	2003-04-05
\|
*	More tweaks so that (proof-ass x-symbol-enable) is pervasive.	David Aspinall	2003-03-17
\|
*	Streamline startup.	David Aspinall	2003-03-16
\|
*	Use X-Symbol supplied functions for encoding input and decoding output regions	David Aspinall	2003-03-14
\|
*	List of stuff to do here	David Aspinall	2003-03-05
\|
*	Fix sticky mode properties for X-Symbol	David Aspinall	2003-03-03
\|
*	Documentation.	David Aspinall	2003-02-24
\|
*	Set x-symbol-data-directory	David Aspinall	2003-02-24
\|
*	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-22
\|
*	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	2003-02-19
\| \| \| \| \| \| \| \|	off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!).
*	Typo	David Aspinall	2002-08-15
\|
*	Comments	David Aspinall	2002-07-18
\|
*	Remove completion table adjustment fixed in X-Symol since Jun 01.	David Aspinall	2002-07-18
\|
*	Comments	David Aspinall	2002-07-16
\|
*	Fix problem with GNU Emacs support: switch to multibyte in output buffers	David Aspinall	2002-07-01
\|
*	Require x-symbol-vars as recommended for new version (works with old too?)	David Aspinall	2002-06-24
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Fix X-symbol URL	David Aspinall	2002-05-03
\|
*	Simplify enabling tests to just check window-system. Fix ↵	David Aspinall	2002-02-23
\| \| \| \|	proof-x-symbol-decode-region to return new END value after decoding.
*	Also put trace buffer in x sym mode	David Aspinall	2002-01-15
\|
*	Updates for recent version of X-symbol, which has no file called ↵	David Aspinall	2001-08-30
\| \| \| \|	x-symbol-autoloads.
*	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
\| \| \| \|	assistant
*	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 ↵	David Aspinall	1999-11-18
\| \| \| \|	do the job.
*	Use new function proof-try-require instead of condition-case ...	David Aspinall	1999-11-18
\| \| \| \| \| \| \|	Make switching on/off possibly more smooth by cleaning response buffer and sending show proof command to proof assistant. Also, when turning on/off run proof-x-symbol-mode in all buffers in proof-xsym-extra-modes. Nice for Isabelle theories.
*	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
\|