proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
*	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 proof-x-symbol-deco...	David Aspinall	2002-02-23
*	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 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