aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* Reverted to old file, v 2.9Gravatar David Aspinall1998-10-29
* Begun section on adding new assistantGravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Begun rewriting docsGravatar David Aspinall1998-10-28
* minor changeGravatar Thomas Kleymann1998-10-22
* Isabelle version addedGravatar David Aspinall1998-10-21
* added specification for a more generic mechanism for large undosGravatar Thomas Kleymann1998-10-18
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* Bug in texiGravatar David Aspinall1998-10-14
* Other small improvements to adding new proof assistant section.Gravatar David Aspinall1998-10-14
* Minor change to notes on adding a new assistant, menu nameGravatar David Aspinall1998-10-14
* After having spent more than a day on implementing a package forGravatar Thomas Kleymann1998-10-09
* Removed mysterious @ignores around info dir entry.Gravatar David Aspinall1998-10-08
* Removed Emacs versions to more transient placeGravatar David Aspinall1998-10-02
* Improved (internal) documentation of multiple file handlingGravatar Thomas Kleymann1998-10-02
* Added INFO-DIR entryGravatar David Aspinall1998-09-24
* Removed lego email address, support level notes.Gravatar David Aspinall1998-09-24
* Added more notes about specialization to new provers.Gravatar David Aspinall1998-09-23
* integrated da's commentsGravatar Thomas Kleymann1998-09-17
* Wrote specification for handling multiple file development in section InternalsGravatar Thomas Kleymann1998-09-17
* Changed name of info file.Gravatar David Aspinall1998-09-17
* Renamed texinfo file.Gravatar David Aspinall1998-09-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 07:59:00 +0000