aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* 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
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Removed pdf target so build works on standard DCS machines.Gravatar David Aspinall1998-09-24
* Added INFO-DIR entryGravatar David Aspinall1998-09-24
* Removed Makefiles from distribution.Gravatar 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
* Added cvsclean targetGravatar David Aspinall1998-09-17
* Changed name of info file.Gravatar David Aspinall1998-09-17
* Makefile for building every kind of target from texi.Gravatar David Aspinall1998-09-16
* Info directory entries for FSF and XEmacs.Gravatar David Aspinall1998-09-16
* Renamed texinfo file.Gravatar David Aspinall1998-09-16
* Documentation acknowleges use of three type of buffers:Gravatar Thomas Kleymann1998-09-16
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Began notes at end about adding new assistant supportGravatar David Aspinall1998-09-03
* Renamed texinfo file.Gravatar David Aspinall1998-09-03
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 18:08:55 +0000