proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	More theory file sections	David Aspinall	1999-11-12
*	Fixes for Isabelle in case theory file is visited before script file.	David Aspinall	1999-11-12
*	Document variables before functions in case of name clash.	David Aspinall	1999-11-12
*	Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class ...	David Aspinall	1999-11-12
*	Set font-lock-keywords before calling proof-config-done.	David Aspinall	1999-11-12
*	Made display table stuff interactive.	David Aspinall	1999-11-12
*	Changed colour of proof-locked-face	David Aspinall	1999-11-12
*	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
*	Set version tag for new release.	David Aspinall	1999-11-12
*	added nohup.out	David Aspinall	1999-11-12
*	Updated	David Aspinall	1999-11-12
*	Display qed message in goals buffer	David Aspinall	1999-11-12
*	Fixes for response buffer display, x-symbol, output formatting.	David Aspinall	1999-11-12
*	New testing files	David Aspinall	1999-11-12
*	Updated	David Aspinall	1999-11-11
*	Attempted x-symbol improvements	David Aspinall	1999-11-11
*	Added option for sending qed output to goals buffer for Isabelle	David Aspinall	1999-11-11
*	Improved documentation, more options added	David Aspinall	1999-11-11
*	small changes to plastic mode	Paul Callaghan	1999-11-11
*	Removed debug instruction.	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 proof-help command to help menu.	David Aspinall	1999-11-11
*	Patches for urgent message processing.	David Aspinall	1999-11-11
*	Added new command proof-goto-point, new default binding for C-c RET.	David Aspinall	1999-11-11
*	Set version tag for new release.	David Aspinall	1999-11-10
*	Latest todos	David Aspinall	1999-11-10
*	Improvement of user options, change of terminology.	David Aspinall	1999-11-10
*	Junk code	David Aspinall	1999-11-10
*	Docstring	David Aspinall	1999-11-10
*	Added some desparate patches for dead extent problem proof-done-advancing	David Aspinall	1999-11-10
*	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
*	Added a section on user option conventions. Changed var names	David Aspinall	1999-11-10
*	fixed indentation bug: use proof-looking-at (proof-case-fold-search);	Makarius Wenzel	1999-11-10
*	proof-looking-at (subject to proof-case-fold-search);	Makarius Wenzel	1999-11-10
*	Electric (active) terminator is now a user option, does not need forcing here.	David Aspinall	1999-11-10
*	Fix decoding of shell input.	David Aspinall	1999-11-10
*	Moved proof-file-truename, proof-file-to-buffer, to proof.el	David Aspinall	1999-11-10
*	Moved utility function proof-files-to-buffers to proof.el. Fixed local var	David Aspinall	1999-11-10
*	Moved more utility functions here.	David Aspinall	1999-11-10
*	Removed unsociable key-bindings.	David Aspinall	1999-11-10
*	Fixed info syntax errors	David Aspinall	1999-11-09
*	Set version tag for new release.	David Aspinall	1999-11-09
*	No unless noted	David Aspinall	1999-11-09
*	News about x-symbol	David Aspinall	1999-11-09
*	Generic support for x-symbol tuned up.	David Aspinall	1999-11-09