aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
1998-11-04added a FIXME comment for non-pertinent buffersThomas Kleymann
1998-11-04first draft of Advanced Script Management section; I assume there willThomas Kleymann
1998-11-04Added key binding to switch between theory and ML files.David Aspinall
1998-11-04Minor fixesDavid Aspinall
1998-11-03Fixes and improvementsDavid Aspinall
1998-11-03Added more content. Texi a Bit buggyDavid Aspinall
1998-11-03Corrected credit for original texiDavid Aspinall
1998-11-03Began documentation of options, plus other thingsDavid Aspinall
1998-11-03Minor improvementsDavid Aspinall
1998-11-02Updated NewDoc contents and added chapter assignmentsDavid Aspinall
1998-11-02fixed texi typosThomas Kleymann
1998-11-01o added support for byte-compilationThomas Kleymann
1998-10-29Reverted to old file, v 2.9David Aspinall
1998-10-29New documentation file, WIP so shouldn't be release on web page.David Aspinall
1998-10-29More scholarly notes (ha-ha).David Aspinall
1998-10-29Added some notes about a putative academic paper on Proof GeneralDavid Aspinall
1998-10-29Begun section on adding new assistantDavid Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-28Images for texi fileDavid Aspinall
1998-10-28Begun rewriting docsDavid Aspinall
1998-10-26Added suggested outline for improved texiDavid Aspinall
1998-10-23Added fume-func doc noteDavid Aspinall
1998-10-22minor changeThomas Kleymann
1998-10-22Added notes on Isa multi files, web page improvementsDavid Aspinall
1998-10-21Isabelle version addedDavid Aspinall
1998-10-18added specification for a more generic mechanism for large undosThomas Kleymann
1998-10-18Reimplemented multiple file proof developmentsThomas Kleymann
1998-10-15Added .ignore for documentation targets and intermediates.David Aspinall
1998-10-14Bug in texiDavid Aspinall
1998-10-14Other small improvements to adding new proof assistant section.David Aspinall
1998-10-14Minor change to notes on adding a new assistant, menu nameDavid Aspinall
1998-10-12Notes about things to put in docs.David Aspinall
1998-10-09After having spent more than a day on implementing a package forThomas Kleymann
1998-10-08Removed mysterious @ignores around info dir entry.David Aspinall
1998-10-02Removed Emacs versions to more transient placeDavid Aspinall
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
1998-09-16Renamed texinfo file.David Aspinall
1998-09-16Documentation acknowleges use of three type of buffers:Thomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 23:32:13 +0000