proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	* empty log message *	Thomas Kleymann	1998-10-15
\|
*	* empty log message *	Thomas Kleymann	1998-10-15
\|
*	Removed web page validate, has been done.	David Aspinall	1998-10-14
\|
*	Added todo for removing image targets from repository.	David Aspinall	1998-10-14
\|
*	Added suggestion about simplifying instantiation	David Aspinall	1998-10-14
\|
*	Added some items suggested by Markus Wenzel.	David Aspinall	1998-10-14
\|
*	Disabled font-lock in process buffer	Thomas Kleymann	1998-10-13
\|
*	Note about proof-restart-script	David Aspinall	1998-10-12
\|
*	Removed A* items done. Raised importance of FSF Emacs bug fix to A.	David Aspinall	1998-10-12
\|
*	Added note about odd message during RPM build.	David Aspinall	1998-10-12
\|
*	Added todo for proof-issue-goal, proof-issue-save.	David Aspinall	1998-10-12
\|
*	Added message about bug in proof-shell-handle-output on FSF Emacs	David Aspinall	1998-10-12
\|
*	Added message about bug in proof-retract-until-point.	David Aspinall	1998-10-12
\|
*	Removed some stuff thats been done.	David Aspinall	1998-10-12
\|
*	Reordered some X's	David Aspinall	1998-10-12
\|
*	Addded todo for proof-quit-command. Doc string note	David Aspinall	1998-10-09
\|
*	Added todos for: rsh, multi file failure, multi file in Isabelle, splash.	David Aspinall	1998-10-09
\|
*	Added todos for: rsh, multi file failure, multi file in Isabelle, splash.	David Aspinall	1998-10-09
\|
*	Added SUPERSONIC category, investigated proof-assert-until-point.	David Aspinall	1998-10-08
\|
*	* empty log message *	Thomas Kleymann	1998-10-08
\|
*	Removed check distribution item. Added Isabelle fix.	David Aspinall	1998-10-08
\|
*	Removed CVS binary item	David Aspinall	1998-10-07
\|
*	Removed some.	David Aspinall	1998-10-07
\|
*	Rearranged a bit, added some, removed some.	David Aspinall	1998-10-07
\|
*	Major revision after business lunch with da	Thomas Kleymann	1998-10-02
\|
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	Added todo for proof-goal-command, proof-save-command	David Aspinall	1998-10-02
\|
*	Added todo for next/previous functions.	David Aspinall	1998-10-01
\|
*	Updated.	David Aspinall	1998-10-01
\|
*	coqtags is now Perl5 compatible - courtesy of hhg	Thomas Kleymann	1998-10-01
\|
*	Added X-rated item about distribution Makefile.	David Aspinall	1998-09-24
\|
*	Item for toolbar icons in low-colour modes	David Aspinall	1998-09-24
\|
*	Added todo for making completion more flexible, not nec. using tags	David Aspinall	1998-09-23
\|
*	Removed toolbar stuff, added items about user-level functions and read-only	David Aspinall	1998-09-23
\|
*	Added item about proof-terminal-string	David Aspinall	1998-09-17
\|
*	Added test schedule item	David Aspinall	1998-09-16
\|
*	Documentation acknowleges use of three type of buffers:	Thomas Kleymann	1998-09-16
\| \| \| \|	script buffers, goal buffer and process buffer
*	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
\|
*	DONE: Reduced number of colours used in icons	David Aspinall	1998-09-14
\|
*	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
\|
*	Done .xbm's and Makefile targets. Added TODO for locked region per file.	David Aspinall	1998-09-10
\|
*	Reengineering efforts to exploit 3 buffer model now top priority	Thomas Kleymann	1998-09-10
\|
*	Updated	David Aspinall	1998-09-09
\|
*	* empty log message *	Thomas Kleymann	1998-09-09
\|
*	Added todos for toolbar.	David Aspinall	1998-09-08
\|
*	Added items, assigned some to da	David Aspinall	1998-09-08
\|
*	assigned a task to tms	Thomas Kleymann	1998-09-08
\|