proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Added note about page rearrangement for pdf files	David Aspinall	1999-11-25
\|
*	Fixed credits list.	David Aspinall	1999-11-25
\|
*	Comment about fonts. Fix info dir formatting	David Aspinall	1999-11-25
\|
*	Added note about non-proof .ML files.	David Aspinall	1999-11-25
\|
*	More improvements.	David Aspinall	1999-11-25
\|
*	Polished draft.	David Aspinall	1999-11-24
\|
*	Many improvements.	David Aspinall	1999-11-24
\|
*	Updates	David Aspinall	1999-11-23
\|
*	Typo	David Aspinall	1999-11-22
\|
*	Renamed proof-auto-delete-windows -> proof-delete-empty-windows	David Aspinall	1999-11-22
\|
*	proof-shell-done-invisible -> proof-done-invisible again	David Aspinall	1999-11-22
\|
*	Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)	David Aspinall	1999-11-22
\|
*	Updates for X-Symbol support.	David Aspinall	1999-11-22
\|
*	Fixed conditional inclusion of image. Added pdf to distdoc.	David Aspinall	1999-11-22
\|
*	Updated	David Aspinall	1999-11-22
\|
*	File moved	David Aspinall	1999-11-22
\|
*	Fixes for conditional inclusion of front page image	David Aspinall	1999-11-22
\|
*	Fixed info probs. xrefs are a complete nonsense in info.	David Aspinall	1999-11-19
\|
*	Magic updated	David Aspinall	1999-11-19
\|
*	Updated	David Aspinall	1999-11-19
\|
*	Many updates and improvements (not finished yet)	David Aspinall	1999-11-19
\|
*	Renamed file	David Aspinall	1999-11-19
\|
*	Additions for pdf version; needs hack to my pdftexinfo.tex to work	David Aspinall	1999-11-19
\|
*	Updates to Preface.	David Aspinall	1999-11-18
\|
*	Tweaked preface.	David Aspinall	1999-11-17
\|
*	Name change proof-window-dedicated -> proof-dont-switch-windows.	David Aspinall	1999-11-17
\|
*	Isabelle 99 -> Isabelle99 name change	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Fix FSF prob.	David Aspinall	1999-11-17
\|
*	Comment	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-16
\|
*	Updated	David Aspinall	1999-11-15
\|
*	Updated for new keybindings and menu layout.	David Aspinall	1999-11-15
\|
*	Many robustness improvements for error and interrupt handling:	David Aspinall	1999-11-14
\| \| \| \| \| \| \| \| \| \| \| \|	- Introduce proof-shell-error-or-interrupt-seen flag set after an error or interrupt was seen (in fact, on every call to proof-release-lock). Examine it in proof-activate-scripting to see whether hooks succeeded in activating scripting. - Test in the shell filter for the lock being held yet nothing in the action list, and clear the lock if so. Gets rid of repetetive proof-shell-busy messages when the queue is empty (for errors during development, or nasty uses of C-g) - Add a timeout to proof-shell-wait (not used yet)
*	Fix to docstring magic (allow spaces after symbol).	David Aspinall	1999-11-14
\|
*	proof-nested-goals-allowed -> proof-completed-proof-behaviour	David Aspinall	1999-11-14
\| \| \| \| \|	Patch for more flexible handling of closing goal...save regions after proof has been completed.
*	Updates and improvements	David Aspinall	1999-11-13
\|
*	Documentation improvements	David Aspinall	1999-11-12
\|
*	Improved documentation, more options added	David Aspinall	1999-11-11
\|
*	Extensive fixes for x-symbol and font-lock.	David Aspinall	1999-11-11
\|
*	Added a section on user option conventions. Changed var names	David Aspinall	1999-11-10
\|
*	proof-looking-at (subject to proof-case-fold-search);	Makarius Wenzel	1999-11-10
\|
*	Fixed info syntax errors	David Aspinall	1999-11-09
\|
*	Added a section on debugging, mentioned proof-show-debug-messages.	David Aspinall	1999-11-08
\|
*	Fixes to intro.	David Aspinall	1999-11-08
\|
*	Updates for 3.0	David Aspinall	1999-11-08
\|
*	updated;	Makarius Wenzel	1999-10-27
\|
*	updated;	Makarius Wenzel	1999-10-26
\|
*	Documentation about the improved multiple file handling functions.	David Aspinall	1999-10-21
\|
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
\|