proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Fix buglets shown up by byte compilation.	David Aspinall	2004-03-01
*	Update email and web addresses	David Aspinall	2004-02-08
*	Remove more proofgeneral.org mail aliases	David Aspinall	2004-02-07
*	Fix domain name	David Aspinall	2003-12-11
*	Comments.	David Aspinall	2003-06-08
*	Attempt to prevent recording of buffer switching history (display-buffer cann...	David Aspinall	2003-06-08
*	Tweak to shrink-to-fit	David Aspinall	2003-05-24
*	Improved version of shrink-to-fit (still problematic)	David Aspinall	2003-05-23
*	Only decode x-symbols if enabled globally for prover.	David Aspinall	2003-03-14
*	Make sure selected window never changes	David Aspinall	2003-03-05
*	Some fixes/error protection in shrink window	David Aspinall	2003-03-01
*	Fix to shrink-windows-tofit	David Aspinall	2003-02-24
*	Fix some compile errors	David Aspinall	2003-02-24
*	Add pg-custom-reset-vars. Make proofdefintset display current value	David Aspinall	2002-11-20
*	Add undefpgcustom	David Aspinall	2002-11-18
*	Erase buffer in kill action. Tweak proof-debug arguments.	David Aspinall	2002-11-14
*	Save more space/fix display anomolay by leaving point at end of non-whitespace	David Aspinall	2002-09-11
*	Attempt to improve window shrinking. Still needs work.	David Aspinall	2002-09-11
*	Support for new proof-shrink-windows-tofit option.	David Aspinall	2002-09-11
*	Documentation.	David Aspinall	2002-08-31
*	Improved implementation of zap-commas font lock behaviour, patch from Stefan ...	David Aspinall	2002-08-31
*	Tidy display	David Aspinall	2002-08-30
*	Add additional path to proof-locate-executable.	David Aspinall	2002-08-29
*	Alternative version of proof-ass macro to support byte-compiled files.	David Aspinall	2002-08-28
*	Docstring/CR from stefans patch	David Aspinall	2002-08-28
*	Fix bug in pg-remove-specials breaking x-sym display in Isabelle	David Aspinall	2002-08-28
*	Oops: has to be error to prevent killing, of course...	David Aspinall	2002-08-26
*	Try to prevent associated buffers being killed off by user.	David Aspinall	2002-08-26
*	Formatting	David Aspinall	2002-08-16
*	Refactoring	David Aspinall	2002-08-15
*	Patch for XEmacs 20.4 compat [incomplete?].	David Aspinall	2002-08-12
*	Allow favourite saving when user wants.	David Aspinall	2002-08-08
*	Rename proof-dont-switch-windows -> proof-three-window-mode	David Aspinall	2002-08-07
*	Comments	David Aspinall	2002-07-18
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
*	Refactor several variable names; clean up, doc subterm markup and output disp...	David Aspinall	2002-07-16
*	Use executable-find	David Aspinall	2002-07-01
*	GPL	David Aspinall	2002-06-21
*	Make hack for XEmacs 21.4 also work for later versions	David Aspinall	2002-06-12
*	Fix font lock for E21 (I hope)	David Aspinall	2002-05-03
*	Year changes	David Aspinall	2002-03-21
*	added hook: proof-before-fontify-output-hook	Christophe Raffalli	2002-03-21
*	Updates to font-lock handling in proof-fontify-region, proof-font-lock-clear-...	David Aspinall	2002-02-23
*	windows-of-buffer -> get-buffer-window-list GNU name	David Aspinall	2002-01-15
*	Protect XEmacs only code	David Aspinall	2001-12-11
*	Rework font-lock variable munging to work in GNU Emacs 21 also.	David Aspinall	2001-12-11
*	Add handling of proof-trace-buffer.	David Aspinall	2001-12-10
*	Dont return a fontified string in proof-response-buffer-display.	David Aspinall	2001-12-10
*	Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...	David Aspinall	2001-08-17
*	Fixes for fontification in Xemacs 21.4	David Aspinall	2001-05-08