aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Updated magicGravatar David Aspinall1998-11-25
* Replaced proof-pbp-buffer with proof-goals-buffer.Gravatar David Aspinall1998-11-25
* Added note about no specific doc for Coq PGGravatar David Aspinall1998-11-25
* Name fix.Gravatar David Aspinall1998-11-25
* Load proof-toolbarGravatar David Aspinall1998-11-25
* Updated magicGravatar David Aspinall1998-11-25
* Separated function and variable indexes again.Gravatar David Aspinall1998-11-25
* Added header.Gravatar David Aspinall1998-11-25
* Wrote Internals chapter. Added auto docstrings for config variables.Gravatar David Aspinall1998-11-25
* Changed names of docstring magic stuffGravatar David Aspinall1998-11-25
* Converted to use magic docstring comments.Gravatar David Aspinall1998-11-25
* Magic docstring -> texi conversion.Gravatar David Aspinall1998-11-25
* Added RCS stamp to doc.Gravatar David Aspinall1998-11-20
* Aesthetic fixes. Added sections on tags and outline mode.Gravatar David Aspinall1998-11-20
* A few moreGravatar David Aspinall1998-11-18
* Added NewDoc temporariesGravatar David Aspinall1998-11-18
* Added notes of default values for user options.Gravatar David Aspinall1998-11-18
* Added section on theory files to Isabelle chapterGravatar David Aspinall1998-11-12
* Added "Changing faces" section.Gravatar David Aspinall1998-11-12
* Removed some Emacs jargon from features list.Gravatar David Aspinall1998-11-12
* added entry to convert dvi into ps.Gravatar Thomas Kleymann1998-11-10
* (briefly) documented problem with sections in CoqGravatar Thomas Kleymann1998-11-10
* documented problem with Discharge in LEGOGravatar Thomas Kleymann1998-11-10
* Removed traces of support for Ruy's legogrep. This is superseded by legotags.Gravatar Thomas Kleymann1998-11-10
* More reorganization. Added content to Isabelle chapter, begun basic script.Gravatar David Aspinall1998-11-09
* Added proof-rsh-command to help complete documentation (was allocatedGravatar David Aspinall1998-11-09
* Added bug about FSFmacs/proof-strict-read-only=t/font-lockGravatar David Aspinall1998-11-09
* Added section on multiple filesGravatar Thomas Kleymann1998-11-09
* Added section on Isabelle specific bugs.Gravatar David Aspinall1998-11-09
* Added acknowledgements to doc. Removed from code.Gravatar David Aspinall1998-11-09
* Added plea for help and made logo in intro only for HTML.Gravatar David Aspinall1998-11-06
* Nasty things no longer happen, can't load Proof General more than onceGravatar David Aspinall1998-11-06
* completed chapter on Known bugs. However section on Isabelle ProofGravatar Thomas Kleymann1998-11-05
* completed chapter on LEGO Proof GeneralGravatar Thomas Kleymann1998-11-05
* o consistent formatting of section headingsGravatar Thomas Kleymann1998-11-04
* Revised section on Advanced Script ManagementGravatar Thomas Kleymann1998-11-04
* added a FIXME comment for non-pertinent buffersGravatar Thomas Kleymann1998-11-04
* first draft of Advanced Script Management section; I assume there willGravatar Thomas Kleymann1998-11-04
* Added key binding to switch between theory and ML files.Gravatar David Aspinall1998-11-04
* Minor fixesGravatar David Aspinall1998-11-04
* Fixes and improvementsGravatar David Aspinall1998-11-03
* Added more content. Texi a Bit buggyGravatar David Aspinall1998-11-03
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-07 00:25:28 +0000