proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	first draft of Advanced Script Management section; I assume there will	Thomas Kleymann	1998-11-04
\| \| \| \|	be a handy menu item to switch to the shell buffer.
*	Added item for func-menu and proof-save-goal-with-hole-regexp	David Aspinall	1998-11-04
\|
*	Added two new todos	David Aspinall	1998-11-03
\|
*	Customization problems todo	David Aspinall	1998-11-03
\|
*	Func menu problems, note added	David Aspinall	1998-11-03
\|
*	Added some items	David Aspinall	1998-11-03
\|
*	minor changes	Thomas Kleymann	1998-11-03
\|
*	A* Fix display handling problems (tms, all week)	Thomas Kleymann	1998-11-03
\| \| \| \|	Done. :-)
*	Added menu item todo	David Aspinall	1998-11-02
\|
*	Updates, removals and additions	David Aspinall	1998-11-02
\|
*	fixed minor bugs	Thomas Kleymann	1998-11-02
\|
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
\| \| \| \| \| \| \|	o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
*	implemented new buffer model. The goals buffer is now exclusively	Thomas Kleymann	1998-10-30
\| \| \| \|	reserved for goals.
*	replaced some occurences of (current-buffer) by proof-shell-buffer to	Thomas Kleymann	1998-10-30
\| \| \| \|	make code more robust
*	Multiple files bug fix request	David Aspinall	1998-10-29
\|
*	Items removed, items added.	David Aspinall	1998-10-29
\|
*	Added low-level priority todo	David Aspinall	1998-10-28
\|
*	rearranged code to avoid compiler warning messages	Thomas Kleymann	1998-10-28
\|
*	Byte comp item	David Aspinall	1998-10-27
\|
*	Made handling of multiple files more robust. On changing script	Thomas Kleymann	1998-10-27
\| \| \| \| \|	buffers, we invoke (save-some-buffers). Furthermore, we warn the user if modified buffers have been read in by the proof assistant.
*	Demoted some priorities to X and moved down list	David Aspinall	1998-10-27
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Priority changes	David Aspinall	1998-10-27
\|
*	Fixed urgent message stuff. proof-shell-process-urgent-messages	David Aspinall	1998-10-27
\| \| \| \|	now seems to correctly observe all messages which pass through.
*	Checked through span code. Commented out dead bits	David Aspinall	1998-10-27
\|
*	Renamed proof-invisible-command proof-shell-invisible-command.	David Aspinall	1998-10-27
\| \| \| \| \| \| \|	Removed superfluous optional 'relaxed' argument from: proof-shell-invisibile-command, proof-grab-lock, proof-start-queue.
*	* empty log message *	Thomas Kleymann	1998-10-26
\|
*	Updated	David Aspinall	1998-10-26
\|
*	WARNING message about pending changes	David Aspinall	1998-10-23
\|
*	Updated todo's for isabelle	David Aspinall	1998-10-23
\|
*	Added todo for clean byte compile	David Aspinall	1998-10-22
\|
*	renamed fume-match-find-next-function-name	Thomas Kleymann	1998-10-22
\|
*	fixed bug in fume-match-find-next-function-name	Thomas Kleymann	1998-10-22
\|
*	Added notes on Isa multi files, web page improvements	David Aspinall	1998-10-22
\|
*	* empty log message *	Thomas Kleymann	1998-10-21
\|
*	Added todo for save-some-buffers	David Aspinall	1998-10-21
\|
*	Added code to register fully processed file. Multiple file fix list updated	David Aspinall	1998-10-21
\|
*	todos for multi files and Isabelle annotations	David Aspinall	1998-10-21
\|
*	Reverted	David Aspinall	1998-10-20
\|
*	Test for new branch commit	David Aspinall	1998-10-20
\|
*	Added todo for FSF Emacs info file	David Aspinall	1998-10-20
\|
*	Updated screenshot.	David Aspinall	1998-10-20
\|
*	Screenshot is out of date	Thomas Kleymann	1998-10-20
\|
*	reordered two items	Thomas Kleymann	1998-10-19
\|
*	todo for multiple files in Isabelle	David Aspinall	1998-10-19
\|
*	Added todo for Isabelle multiple files	David Aspinall	1998-10-19
\|
*	Added todo for byte-compilation	David Aspinall	1998-10-19
\|
*	support for nested goals is now restricted to Coq	Thomas Kleymann	1998-10-18
\|
*	Reimplemented multiple file proof developments	Thomas Kleymann	1998-10-18
\|
*	added B item for Release	Thomas Kleymann	1998-10-15
\|