proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Changed binding for C-c RET	David Aspinall	1998-10-08
\|
*	Added more documentation.	David Aspinall	1998-10-07
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Made new proof-config customization group for variables supposed to be configured by prover specific settings (as opposed to user options, which are set by users). This adds type information and useful facility for testing new instances of PG. Similarly added proof-shell customization group. Removed (what I assume to be) defunct variables proof-post-shell-exit-hook, proof-shell-echo-input. Made deflocal do 'setq-default', not 'setq'. (I consider this a bugfix, but no calls to deflocal use other than nil value anyway, so this bug had no effect.) Added code for displaying splash screen. Attempted fix for proof-issue-new-command when process inactive. Improved functions proof-script-new-command-advance, proof-script-next-command-advance, called from proof-assert-next-command.
*	Added detection of less than 16 bit colour depth to display 8bit	David Aspinall	1998-10-07
\| \| \| \| \|	icons. Disabled toolbar for console working.
*	Munged name of customization variables so that menus display nicely.	David Aspinall	1998-10-07
\| \| \| \| \| \| \|	Added cust group for proof general internals. Added automatic setting of proof-assistant and customize group, via mode function stubs which load the real elisp files. (This also avoids polluting the load-path too much).
*	da> BTW, the menus have disappeared!	Thomas Kleymann	1998-10-05
\| \| \| \|	They are back courtesy of reintroducing an easy-menu-add call.
*	Moved menu definition back into proof-config-done.	David Aspinall	1998-10-02
\|
*	Added $ to coq automode regexp	David Aspinall	1998-10-02
\|
*	added LEGO support for proof-goal-command and proof-save-command	Thomas Kleymann	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Added documentation for user-level functions.	David Aspinall	1998-10-01
\|
*	Added doc strings	David Aspinall	1998-10-01
\|
*	Added qed button. Fixed enabler predicates.	David Aspinall	1998-10-01
\|
*	Added docstrings and comments.	David Aspinall	1998-10-01
\| \| \| \| \| \| \|	Removed last of "not authorized for this documentation" nonsense. Replaced constant string "COMMENT" by proof-no-command. Begun work on new functions: proof-{next,previous}-matching-command. Work on proof-issue-goal, proof-issue-save (rough edges left as FIXMEs).
*	Changed customization group name	David Aspinall	1998-09-23
\|
*	Changed customization group and removed nagging not-busy error message	David Aspinall	1998-09-23
\|
*	Removed "myass" test entry.	David Aspinall	1998-09-23
\|
*	Made configuration more sophisticated:	David Aspinall	1998-09-23
\| \| \| \| \|	. proof-general-supported-assistants is master table of names & autoloads. . proof-home is calculated automatically from load-file-name
*	Cleaned up and improved some code, added docstrings, FIXMEs.	David Aspinall	1998-09-22
\| \| \| \| \| \|	Added proof-issue-goal and proof-goal-command. Rearranged to get ready for splitting into proof-script and proof-shell. Added proof-one-command-per-line user option.
*	Added new buttons, changed icons.	David Aspinall	1998-09-22
\|
*	Fix in proof-shell-handle-output	David Aspinall	1998-09-17
\|
*	fixed a bug in proof-shell-filter and proof-shell-handle-ouput	Thomas Kleymann	1998-09-17
\|
*	Bug in regexp for isa auto-mode-alist.	David Aspinall	1998-09-16
\|
*	Moved proof-info-dir into proof-site and defcustom'd it.	David Aspinall	1998-09-16
\| \| \| \| \| \|	Set the Info directory list there rather than after proof.el has loaded. Add the proof-info-dir onto the end of Info-default-directory-list, not the start.
*	fixed implementation fo proof-find-next-terminator;	Thomas Kleymann	1998-09-16
\| \| \| \|	it can now be used even when there is no corresponding proof process
*	Isabelle Proof General loads for .thy as well as .ML files.	David Aspinall	1998-09-16
\|
*	Improved doc. Removed proof-mode-version-string.\nMade ↵	David Aspinall	1998-09-16
\| \| \| \|	proof-prog-name-ask-p defcustom
*	Reimplemented proof-shell-popup-eager-annotation	Thomas Kleymann	1998-09-15
\| \| \| \|	These are no longer displayed in the GOALS buffer.
*	Added docs and proof-restart-script-same-process (may need work)	David Aspinall	1998-09-14
\|
*	Changed proof-assistant into proof-assistants to support autoloads for more ↵	David Aspinall	1998-09-14
\| \| \| \|	than one prover
*	Set version tag for release.	David Aspinall	1998-09-10
\|
*	Set version tag for release.	David Aspinall	1998-09-10
\|
*	Added proof-general-version	David Aspinall	1998-09-10
\|
*	-Added documentation	Thomas Kleymann	1998-09-10
\| \| \| \| \| \| \| \|	-Simplified code for setting faces -Reimplimented `proof-shell-handle-error' -Improved `proof-shell-filter'; it no longer removes the prompt annotation -The Shell no longer automatically scrolls to the end (or so I hope)
*	fixed implementation of `proof-have-color'	Thomas Kleymann	1998-09-10
\|
*	Renamed recycle icon to restart	David Aspinall	1998-09-09
\|
*	Added query to restart script button in case of accidents.	David Aspinall	1998-09-09
\|
*	Made proof-assert-next-command move forward by default.	David Aspinall	1998-09-09
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Fixup branch number	David Aspinall	1998-09-09
\|
*	Added todos for toolbar.	David Aspinall	1998-09-08
\|
*	Added FIXMEs.	David Aspinall	1998-09-08
\| \| \| \| \| \| \| \| \| \| \|	Added documentation. proof-segment-up-to: Removed explicit ML-style comment syntax, added END-OF-COMMAND argument. proof-undo-last-successful-command: Added optional argument to not delete. (The difference between this and proof-retract-until-point is that it infers the last command). proof-assert-next-command: Experimental alternative to proof-assert-until-point to match undo-last-successful-command.
*	Added Id and comments	David Aspinall	1998-09-08
\|
*	Added Id	David Aspinall	1998-09-08
\|
*	First version of generic proof toolbar.	David Aspinall	1998-09-08
\|
*	Made customize variables user-visible	David Aspinall	1998-09-08
\|
*	Added image directory for toolbar icons	David Aspinall	1998-09-08
\|
*	Layout.	David Aspinall	1998-09-08
\|
*	removed dependency on tl-list	Thomas Kleymann	1998-09-08
\|
*	Requires proof-site.	David Aspinall	1998-09-03
\|
*	Site-wide configuration for proof mode.	David Aspinall	1998-09-03
\|