aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Corrected credit for original texiGravatar David Aspinall1998-11-03
* Began documentation of options, plus other thingsGravatar David Aspinall1998-11-03
* Minor improvementsGravatar David Aspinall1998-11-03
* Updated NewDoc contents and added chapter assignmentsGravatar David Aspinall1998-11-02
* fixed texi typosGravatar Thomas Kleymann1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* Reverted to old file, v 2.9Gravatar David Aspinall1998-10-29
* New documentation file, WIP so shouldn't be release on web page.Gravatar David Aspinall1998-10-29
* More scholarly notes (ha-ha).Gravatar David Aspinall1998-10-29
* Added some notes about a putative academic paper on Proof GeneralGravatar David Aspinall1998-10-29
* Begun section on adding new assistantGravatar David Aspinall1998-10-29
* More hacks to variable names for customize (sorry)Gravatar David Aspinall1998-10-29
* Images for texi fileGravatar David Aspinall1998-10-28
* Begun rewriting docsGravatar David Aspinall1998-10-28
* Added suggested outline for improved texiGravatar David Aspinall1998-10-26
* Added fume-func doc noteGravatar David Aspinall1998-10-23
* minor changeGravatar Thomas Kleymann1998-10-22
* Added notes on Isa multi files, web page improvementsGravatar David Aspinall1998-10-22
* Isabelle version addedGravatar David Aspinall1998-10-21
* added specification for a more generic mechanism for large undosGravatar Thomas Kleymann1998-10-18
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* Added .ignore for documentation targets and intermediates.Gravatar David Aspinall1998-10-15
* Bug in texiGravatar David Aspinall1998-10-14
* Other small improvements to adding new proof assistant section.Gravatar David Aspinall1998-10-14
* Minor change to notes on adding a new assistant, menu nameGravatar David Aspinall1998-10-14
* Notes about things to put in docs.Gravatar David Aspinall1998-10-12
* 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-01 19:29:07 +0000