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
*
Fixes and improvements
David Aspinall
1998-11-03
*
Added more content. Texi a Bit buggy
David Aspinall
1998-11-03
*
Corrected credit for original texi
David Aspinall
1998-11-03
*
Began documentation of options, plus other things
David Aspinall
1998-11-03
*
Minor improvements
David Aspinall
1998-11-03
*
Updated NewDoc contents and added chapter assignments
David Aspinall
1998-11-02
*
fixed texi typos
Thomas Kleymann
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
Reverted to old file, v 2.9
David Aspinall
1998-10-29
*
New documentation file, WIP so shouldn't be release on web page.
David Aspinall
1998-10-29
*
More scholarly notes (ha-ha).
David Aspinall
1998-10-29
*
Added some notes about a putative academic paper on Proof General
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
*
Images for texi file
David Aspinall
1998-10-28
*
Begun rewriting docs
David Aspinall
1998-10-28
*
Added suggested outline for improved texi
David Aspinall
1998-10-26
*
Added fume-func doc note
David Aspinall
1998-10-23
*
minor change
Thomas Kleymann
1998-10-22
*
Added notes on Isa multi files, web page improvements
David Aspinall
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
*
Added .ignore for documentation targets and intermediates.
David Aspinall
1998-10-15
*
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
*
Notes about things to put in docs.
David Aspinall
1998-10-12
*
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
*
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