aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Collapse)Author
1998-10-02Improved (internal) documentation of multiple file handlingThomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-24Removed pdf target so build works on standard DCS machines.David Aspinall
1998-09-24Added INFO-DIR entryDavid Aspinall
1998-09-24Removed Makefiles from distribution.David 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-17Added cvsclean targetDavid Aspinall
1998-09-17Changed name of info file.David Aspinall
1998-09-16Makefile for building every kind of target from texi.David Aspinall
1998-09-16Info directory entries for FSF and XEmacs.David Aspinall
Tested with both. Incredibly difficult to get right. localdir is better with XEmacs, but it will use dir in preference, 8-(.
1998-09-16Renamed texinfo file.David Aspinall
1998-09-16Documentation acknowleges use of three type of buffers:Thomas Kleymann
script buffers, goal buffer and process buffer
1998-09-09Added Id to headers.David Aspinall
1998-09-03Began notes at end about adding new assistant supportDavid Aspinall
1998-09-03Renamed texinfo file.David Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 11:55:30 +0000