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
Commit message (
Expand
)
Author
Age
*
Removed Emacs versions to more transient place
David Aspinall
1998-10-02
*
Improved (internal) documentation of multiple file handling
Thomas Kleymann
1998-10-02
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Removed pdf target so build works on standard DCS machines.
David Aspinall
1998-09-24
*
Added INFO-DIR entry
David Aspinall
1998-09-24
*
Removed Makefiles from distribution.
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
*
Added cvsclean target
David Aspinall
1998-09-17
*
Changed name of info file.
David Aspinall
1998-09-17
*
Makefile for building every kind of target from texi.
David Aspinall
1998-09-16
*
Info directory entries for FSF and XEmacs.
David Aspinall
1998-09-16
*
Renamed texinfo file.
David Aspinall
1998-09-16
*
Documentation acknowleges use of three type of buffers:
Thomas Kleymann
1998-09-16
*
Added Id to headers.
David Aspinall
1998-09-09
*
Began notes at end about adding new assistant support
David Aspinall
1998-09-03
*
Renamed texinfo file.
David Aspinall
1998-09-03
*
Renamed for new subdirectory structure
David Aspinall
1998-09-03