proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	added todo for fixing buggy web pages	David Aspinall	1998-09-14
\|
*	Added some more things	David Aspinall	1998-09-11
\|
*	Fixes to syntax and startup function.	David Aspinall	1998-09-11
\|
*	Done .xbm's and Makefile targets. Added TODO for locked region per file.	David Aspinall	1998-09-10
\|
*	Added final message to make release.	David Aspinall	1998-09-10
\|
*	Bug in make release.	David Aspinall	1998-09-10
\|
*	Added back check for clean source.	David Aspinall	1998-09-10
\|
*	Added tag, dist, release targets.	David Aspinall	1998-09-10
\|
*	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
\|
*	We seduce our audience by fancy pictures and words	David Aspinall	1998-09-10
\|
*	We seduce our audience by fancy pictures and words	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
\|
*	Reengineering efforts to exploit 3 buffer model now top priority	Thomas Kleymann	1998-09-10
\|
*	Added X bitmaps of icons for mono displays	David Aspinall	1998-09-09
\|
*	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
\|