index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
ProofGeneral.texi
Commit message (
Expand
)
Author
Age
*
Reverted to old file, v 2.9
David Aspinall
1998-10-29
*
Begun section on adding new assistant
David Aspinall
1998-10-29
*
More hacks to variable names for customize (sorry)
David Aspinall
1998-10-29
*
Begun rewriting docs
David Aspinall
1998-10-28
*
minor change
Thomas Kleymann
1998-10-22
*
Isabelle version added
David Aspinall
1998-10-21
*
added specification for a more generic mechanism for large undos
Thomas Kleymann
1998-10-18
*
Reimplemented multiple file proof developments
Thomas Kleymann
1998-10-18
*
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-14
*
After having spent more than a day on implementing a package for
Thomas Kleymann
1998-10-09
*
Removed mysterious @ignores around info dir entry.
David Aspinall
1998-10-08
*
Removed Emacs versions to more transient place
David Aspinall
1998-10-02
*
Improved (internal) documentation of multiple file handling
Thomas Kleymann
1998-10-02
*
Added INFO-DIR entry
David Aspinall
1998-09-24
*
Removed lego email address, support level notes.
David Aspinall
1998-09-24
*
Added more notes about specialization to new provers.
David Aspinall
1998-09-23
*
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-17
*
Renamed texinfo file.
David Aspinall
1998-09-16