proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1998-10-18	added specification for a more generic mechanism for large undos	Thomas Kleymann
	COQ: C-c u inside a Section should reset the whole section, then redo defns LEGO: consider Discharge; perhaps unrol to the beginning of the module? The suggested mechanism subsumes the current setup for normal commands and goalsave properties.
1998-10-18	Reimplemented multiple file proof developments	Thomas Kleymann

1998-10-14	Bug in texi	David Aspinall

1998-10-14	Other small improvements to adding new proof assistant section.	David Aspinall

1998-10-14	Minor change to notes on adding a new assistant, menu name	David Aspinall

1998-10-09	After having spent more than a day on implementing a package for	Thomas Kleymann
	directed graphs, a five minute discussion with Dave has led to a revised specification for handling multiple files. This should be easier to implement and more efficient. Directed graphs are no longer required.
1998-10-08	Removed mysterious @ignores around info dir entry.	David Aspinall

1998-10-02	Removed Emacs versions to more transient place	David Aspinall

1998-10-02	Improved (internal) documentation of multiple file handling	Thomas Kleymann

1998-09-24	Added INFO-DIR entry	David Aspinall

1998-09-24	Removed lego email address, support level notes.	David Aspinall

1998-09-23	Added more notes about specialization to new provers.	David Aspinall

1998-09-17	integrated da's comments	Thomas Kleymann

1998-09-17	Wrote specification for handling multiple file development in section Internals	Thomas Kleymann

1998-09-17	Changed name of info file.	David Aspinall

1998-09-16	Renamed texinfo file.	David Aspinall