aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
1998-12-07Added proof-shell-preprocess-command for Paul Callaghan.David Aspinall
1998-11-26Added HTML files.David Aspinall
1998-11-26Added proof-shell-clear-goals-regexp.David Aspinall
1998-11-26Improvements from Markus Wenzel. Re-made after texi-docstring-magicDavid Aspinall
1998-11-25Updated magic.David Aspinall
1998-11-25More polish.David Aspinall
1998-11-25Fixed up uses of @ref, @xref, @pxref.David Aspinall
1998-11-25Be gentler in walkthrough.David Aspinall
1998-11-25UpdatedDavid Aspinall
1998-11-25Cleaned up some text.David Aspinall
1998-11-25Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiDavid Aspinall
1998-11-25Improvements to get rid of old ProofGeneral.texi.David Aspinall
1998-11-25Documentation improvements.David Aspinall
1998-11-25Extra Isabelle PG bug/feature with theory loader. Plan for pbp.David Aspinall
1998-11-25Updated magicDavid Aspinall
1998-11-25Replaced proof-pbp-buffer with proof-goals-buffer.David Aspinall
1998-11-25Added note about no specific doc for Coq PGDavid Aspinall
1998-11-25Name fix.David Aspinall
1998-11-25Load proof-toolbarDavid Aspinall
1998-11-25Updated magicDavid Aspinall
1998-11-25Separated function and variable indexes again.David Aspinall
1998-11-25Added header.David Aspinall
1998-11-25Wrote Internals chapter. Added auto docstrings for config variables.David Aspinall
1998-11-25Changed names of docstring magic stuffDavid Aspinall
1998-11-25Converted to use magic docstring comments.David Aspinall
1998-11-25Magic docstring -> texi conversion.David Aspinall
1998-11-20Added RCS stamp to doc.David Aspinall
1998-11-20Aesthetic fixes. Added sections on tags and outline mode.David Aspinall
1998-11-18A few moreDavid Aspinall
1998-11-18Added NewDoc temporariesDavid Aspinall
1998-11-18Added notes of default values for user options.David Aspinall
1998-11-12Added section on theory files to Isabelle chapterDavid Aspinall
1998-11-12Added "Changing faces" section.David Aspinall
1998-11-12Removed some Emacs jargon from features list.David Aspinall
1998-11-10added entry to convert dvi into ps.Thomas Kleymann
1998-11-10(briefly) documented problem with sections in CoqThomas Kleymann
1998-11-10documented problem with Discharge in LEGOThomas Kleymann
1998-11-10Removed traces of support for Ruy's legogrep. This is superseded by legotags.Thomas Kleymann
1998-11-09More reorganization. Added content to Isabelle chapter, begun basic script.David Aspinall
1998-11-09Added proof-rsh-command to help complete documentation (was allocatedDavid Aspinall
1998-11-09Added bug about FSFmacs/proof-strict-read-only=t/font-lockDavid Aspinall
1998-11-09Added section on multiple filesThomas Kleymann
1998-11-09Added section on Isabelle specific bugs.David Aspinall
1998-11-09Added acknowledgements to doc. Removed from code.David Aspinall
1998-11-06Added plea for help and made logo in intro only for HTML.David Aspinall
1998-11-06Nasty things no longer happen, can't load Proof General more than onceDavid Aspinall
1998-11-05completed chapter on Known bugs. However section on Isabelle ProofThomas Kleymann
1998-11-05completed chapter on LEGO Proof GeneralThomas Kleymann
1998-11-04o consistent formatting of section headingsThomas Kleymann
1998-11-04Revised section on Advanced Script ManagementThomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 03:35:16 +0000