aboutsummaryrefslogtreecommitdiff
path: root/doc/ProofGeneral.texi
AgeCommit message (Expand)Author
1998-12-07Added proof-shell-preprocess-command for Paul Callaghan.David Aspinall
1998-11-26Added proof-shell-clear-goals-regexp.David Aspinall
1998-11-26Improvements from Markus Wenzel. Re-made after texi-docstring-magicDavid Aspinall
1998-11-25Updated magic.David Aspinall
1998-11-25More polish.David Aspinall
1998-11-25Fixed up uses of @ref, @xref, @pxref.David Aspinall
1998-11-25Be gentler in walkthrough.David Aspinall
1998-11-25Cleaned up some text.David Aspinall
1998-11-25Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiDavid Aspinall
1998-10-29Reverted to old file, v 2.9David Aspinall
1998-10-29Begun section on adding new assistantDavid Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Begun rewriting docsDavid Aspinall
1998-10-22minor changeThomas Kleymann
1998-10-21Isabelle version addedDavid Aspinall
1998-10-18added specification for a more generic mechanism for large undosThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
1998-10-14Bug in texiDavid Aspinall
1998-10-14Other small improvements to adding new proof assistant section.David Aspinall
1998-10-14Minor change to notes on adding a new assistant, menu nameDavid Aspinall
1998-10-09After having spent more than a day on implementing a package forThomas Kleymann
1998-10-08Removed mysterious @ignores around info dir entry.David Aspinall
1998-10-02Removed Emacs versions to more transient placeDavid Aspinall
1998-10-02Improved (internal) documentation of multiple file handlingThomas Kleymann
1998-09-24Added INFO-DIR entryDavid Aspinall
1998-09-24Removed lego email address, support level notes.David Aspinall
1998-09-23Added more notes about specialization to new provers.David Aspinall
1998-09-17integrated da's commentsThomas Kleymann
1998-09-17Wrote specification for handling multiple file development in section InternalsThomas Kleymann
1998-09-17Changed name of info file.David Aspinall
1998-09-16Renamed texinfo file.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 07:18:56 +0000