proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Changed customization group name	David Aspinall	1998-09-23
\|
*	Missing bracket added	David Aspinall	1998-09-23
\|
*	Added more notes about specialization to new provers.	David Aspinall	1998-09-23
\|
*	Removed history	David Aspinall	1998-09-23
\|
*	Added todo for making completion more flexible, not nec. using tags	David Aspinall	1998-09-23
\|
*	Removed tags stuff	David Aspinall	1998-09-23
\|
*	Added back isabelle-settings group	David Aspinall	1998-09-23
\|
*	Changed customization group name	David Aspinall	1998-09-23
\|
*	Error regular expression also matches warnings from Isabelle	David Aspinall	1998-09-23
\|
*	Changed customization group, added goal command, better docs	David Aspinall	1998-09-23
\|
*	Changed customization group and removed nagging not-busy error message	David Aspinall	1998-09-23
\|
*	Removed history, added branding.	David Aspinall	1998-09-23
\|
*	Removed toolbar stuff, added items about user-level functions and read-only	David Aspinall	1998-09-23
\|
*	Added FORCE dependency for docs.	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
\|
*	Fixed docstrings for derived modes	David Aspinall	1998-09-22
\|
*	New CD-player type icons	David Aspinall	1998-09-22
\|
*	Master files for icons.	David Aspinall	1998-09-22
\|
*	Added item about proof-terminal-string	David Aspinall	1998-09-17
\|
*	integrated da's comments	Thomas Kleymann	1998-09-17
\|
*	Added theory file mode from Isamode.	David Aspinall	1998-09-17
\|
*	Wrote specification for handling multiple file development in section Internals	Thomas Kleymann	1998-09-17
\|
*	Added cvsclean target	David Aspinall	1998-09-17
\|
*	Added docs to release and remoterelease target.	David Aspinall	1998-09-17
\|
*	Fixed message about using several assistants	David Aspinall	1998-09-17
\|
*	Changed name of info file.	David Aspinall	1998-09-17
\|
*	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.
*	Added test schedule item	David Aspinall	1998-09-16
\|
*	Makefile for building every kind of target from texi.	David Aspinall	1998-09-16
\|
*	Info directory entries for FSF and XEmacs.	David Aspinall	1998-09-16
\| \| \| \| \|	Tested with both. Incredibly difficult to get right. localdir is better with XEmacs, but it will use dir in preference, 8-(.
*	Renamed texinfo file.	David Aspinall	1998-09-16
\|
*	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
*	Documentation acknowleges use of three type of buffers:	Thomas Kleymann	1998-09-16
\| \| \| \|	script buffers, goal buffer and process buffer
*	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
*	Removed item about toolbar error message to do with process handling.	David Aspinall	1998-09-16
\|
*	Added low-priority item about improving process handling.	David Aspinall	1998-09-16
\|
*	Reimplemented proof-shell-popup-eager-annotation	Thomas Kleymann	1998-09-15
\| \| \| \|	These are no longer displayed in the GOALS buffer.
*	DONE: Reduced number of colours used in icons	David Aspinall	1998-09-14
\|
*	Reduced number of colours used for impoverished displays.	David Aspinall	1998-09-14
\|
*	Realised clash with proof-assistant variable was causing "odd customize ↵	David Aspinall	1998-09-14
\| \| \| \|	behaviour"
*	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
*	Added toolbar todos discussed at business lunch with tms	David Aspinall	1998-09-14
\|