proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	moved pg-special-char-regexp to proof-config.el;	Makarius Wenzel	2005-09-01
\| \| \| \|	added pg-remove-specials-in-string;
*	- Don't just reuse visible frames but also iconified ones.	David Aspinall	2005-05-17
\| \| \| \| \| \|	- When proof-three-window-enable is nil, don't mark a dedicated window as non-dedicated. - Don't make the window-size-fixed. It's a real pain in the rear.
*	Mention to check FAQ too	David Aspinall	2005-01-07
\|
*	Bug fix suggested by Jonathan S. Shapiro	David Aspinall	2004-10-05
\|
*	Fix bug in proof-debug for GNU Emacs	David Aspinall	2004-09-21
\|
*	Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵	David Aspinall	2004-08-25
\| \| \| \|	available.
*	Add pg-internal-warning	David Aspinall	2004-08-25
\|
*	Make proof-clean-buffer work with dead buffers.	David Aspinall	2004-08-24
\| \| \| \|	Add x-symbol-version to bug report variables.
*	Add error handler for nesting too deep in proof-fontify region.	David Aspinall	2004-08-10
\|
*	Add proof-save-some-buffers	David Aspinall	2004-04-22
\|
*	Comments.	David Aspinall	2004-04-17
\|
*	Indentation of proof-with-current-buffer-if-exists	David Aspinall	2004-04-13
\|
*	Overhaul and fixes for display management.	David Aspinall	2004-04-02
\|
*	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 ↵	David Aspinall	2003-06-08
\| \| \| \|	cannot be stopped, sadly)
*	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
\| \| \| \|	Monnier
*	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 ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Use executable-find	David Aspinall	2002-07-01
\|