| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-12-15 | Changed title of Chap 10. | David Aspinall | |
| 1998-12-15 | Preface: Added David von Oheimb to credits. Mentioned adding multiple files. | David Aspinall | |
| 1998-12-15 | Updated magic. | David Aspinall | |
| 1998-12-15 | Made preface unnumbered. Cosmetic improvements. Updated magic. | David Aspinall | |
| 1998-12-15 | credits now at the beginning | Thomas Kleymann | |
| 1998-12-15 | *** empty log message *** | Thomas Kleymann | |
| 1998-12-15 | Added ps to make all. | David Aspinall | |
| 1998-12-15 | Fixed several typos. | David Aspinall | |
| Added docstring for proof-deactivate-scripting and mentioned it in Chap 10. Removed spurious mention of defunct function proof-restart-scripting. | |||
| 1998-12-15 | Updated magic. Small changes in Chap 11. | David Aspinall | |
| 1998-12-15 | Added back magic target, handy to force update of magic. | David Aspinall | |
| 1998-12-15 | radical new version of Credits and References section | Thomas Kleymann | |
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann | |
| 1998-12-14 | rearrange pages automatically | Thomas Kleymann | |
| 1998-12-11 | . Removed "multiple prover problem" from bugs section, since it's now | David Aspinall | |
| handled gracefully. It's a limitation rather than a bug per se. . Added a new subsection to Appendix A, for setting names of binaries. . Moved the table of script extensions and mode names to section 1.1 . Added proof-shell-insert and proof-invisible command to Chap 10. . Updated magic. | |||
| 1998-12-10 | Changed name of proof-toolbar-inhibit variable for uniformity. | David Aspinall | |
| 1998-12-07 | Added proof-shell-preprocess-command for Paul Callaghan. | David Aspinall | |
| 1998-11-26 | Added HTML files. | David Aspinall | |
| 1998-11-26 | Added proof-shell-clear-goals-regexp. | David Aspinall | |
| 1998-11-26 | Improvements from Markus Wenzel. Re-made after texi-docstring-magic | David Aspinall | |
| 1998-11-25 | Updated magic. | David Aspinall | |
| 1998-11-25 | More polish. | David Aspinall | |
| 1998-11-25 | Fixed up uses of @ref, @xref, @pxref. | David Aspinall | |
| 1998-11-25 | Be gentler in walkthrough. | David Aspinall | |
| 1998-11-25 | Updated | David Aspinall | |
| 1998-11-25 | Cleaned up some text. | David Aspinall | |
| Added example special display regexps. Note about Isabelle PG clashing with sml-mode. | |||
| 1998-11-25 | Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texi | David Aspinall | |
| 1998-11-25 | Improvements to get rid of old ProofGeneral.texi. | David Aspinall | |
| Added doc for active terminator, proof shell start, stop, and restart. | |||
| 1998-11-25 | Documentation improvements. | David Aspinall | |
| 1998-11-25 | Extra Isabelle PG bug/feature with theory loader. Plan for pbp. | David Aspinall | |
| 1998-11-25 | Updated magic | David Aspinall | |
| 1998-11-25 | Replaced proof-pbp-buffer with proof-goals-buffer. | David Aspinall | |
| 1998-11-25 | Added note about no specific doc for Coq PG | David Aspinall | |
| 1998-11-25 | Name fix. | David Aspinall | |
| 1998-11-25 | Load proof-toolbar | David Aspinall | |
| 1998-11-25 | Updated magic | David Aspinall | |
| 1998-11-25 | Separated function and variable indexes again. | David Aspinall | |
| Improved many section titles and cross references. Finished off Basic script management chapter Added proof-site.el documentation in Internals chapter. | |||
| 1998-11-25 | Added header. | David Aspinall | |
| 1998-11-25 | Wrote Internals chapter. Added auto docstrings for config variables. | David Aspinall | |
| 1998-11-25 | Changed names of docstring magic stuff | David Aspinall | |
| 1998-11-25 | Converted to use magic docstring comments. | David Aspinall | |
| 1998-11-25 | Magic docstring -> texi conversion. | David Aspinall | |
| 1998-11-20 | Added RCS stamp to doc. | David Aspinall | |
| 1998-11-20 | Aesthetic fixes. Added sections on tags and outline mode. | David Aspinall | |
| 1998-11-18 | A few more | David Aspinall | |
| 1998-11-18 | Added NewDoc temporaries | David Aspinall | |
| 1998-11-18 | Added notes of default values for user options. | David Aspinall | |
| 1998-11-12 | Added section on theory files to Isabelle chapter | David Aspinall | |
| 1998-11-12 | Added "Changing faces" section. | David Aspinall | |
| Added documentation for proof-auto-delete-windows. | |||
| 1998-11-12 | Removed some Emacs jargon from features list. | David Aspinall | |
| 1998-11-10 | added entry to convert dvi into ps. | Thomas Kleymann | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |