proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,	Thomas Kleymann	1998-09-03
\| \| \| \| \| \| \|	annotations are recorded in the object file. This needs to be changed in the SML code. (initially 2h tms) Done. :-)
*	Requirement for test script added	David Aspinall	1998-09-03
\|
*	Dead code.	David Aspinall	1998-09-03
\|
*	Added some items.	David Aspinall	1998-09-03
\|
*	Added more items.	David Aspinall	1998-09-03
\|
*	o rearranged Release entry	Thomas Kleymann	1998-09-02
\| \| \| \|	o allocated a task to tms
*	Added make-ready for distribtion item. (2h, da)	David Aspinall	1998-09-02
\|
*	integrated comments following 1 Sep 98 discussion with Dave Aspinall	Thomas Kleymann	1998-09-01
\| \| \| \|	on design principles in light of an Emacs mode for Isabelle
*	todo	David Aspinall	1998-08-27
\|
*	todo	David Aspinall	1998-08-21
\|
*	improved help submenu for LEGO	Thomas Kleymann	1998-08-14
\| \| \| \|	- added a link to the library and the reference card for version 1.3
*	* empty log message *	Thomas Kleymann	1998-08-07
\|
*	Structured review now done.	Healfdene Goguen	1998-06-02
\| \| \| \|	Added item that we need to write proof-retract-file.
*	o outsourced indentation to proof-indent	Thomas Kleymann	1998-05-29
\| \| \| \| \| \| \|	o support indentation of commands o replaced test of Emacs version with availability test of specific features o C-c C-c, C-c C-v and M-tab is now available in all buffers
*	Necessary changes for emacs19 version	Healfdene Goguen	1998-05-26
\|
*	Changing buffers now works.	Healfdene Goguen	1998-05-21
\|
*	Fixed lifting globals.	Healfdene Goguen	1998-05-21
\| \| \| \| \|	Added problem of buffers and need for incremental adding of tactics in Coq.
*	Removed indentation problem.	Healfdene Goguen	1998-05-19
\| \| \| \|	Added comments about current state of emacs19 port.