| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-03-08 | Idea for proof-auto-retract, notes about proof-strict-read-only | David Aspinall | |
| 1999-02-24 | Improved documentation on tags | Thomas Kleymann | |
| o added a suggestion by hht o documentation now at generic level only | |||
| 1999-02-23 | extended section on Coq tags | Thomas Kleymann | |
| 1999-02-22 | Coq section on tags improved to mention coqtags. | David Aspinall | |
| 1999-02-22 | Coq proof mode renamed Coq Proof General | David Aspinall | |
| 1999-02-22 | Updated magic. Shorted section name. | David Aspinall | |
| 1999-02-22 | Added revised version of text from Healf for Coq. Updated version ↵ | David Aspinall | |
| numbers/authors. | |||
| 1999-02-01 | Added proof-case-fold-search | David Aspinall | |
| 1998-12-18 | Elaborated on scripting language limitations Isabelle "bug" | David Aspinall | |
| 1998-12-17 | Updated magic. (Extra newlines added). | David Aspinall | |
| 1998-12-17 | Added Latest news section to preface to point to home page. | David Aspinall | |
| 1998-12-17 | Fixed spelling error. | David Aspinall | |
| 1998-12-16 | Fixed info dir again. Removed detailed menu. | David Aspinall | |
| 1998-12-16 | Updated magic. | David Aspinall | |
| 1998-12-16 | Added a menu. | David Aspinall | |
| 1998-12-16 | Added space after colon in info dir entry. | David Aspinall | |
| 1998-12-16 | Fixed INFO-DIR-ENTRY (newline was lost) | David Aspinall | |
| 1998-12-16 | Updated magic once more | David Aspinall | |
| 1998-12-16 | further documentation of LEGO specific bug | Thomas Kleymann | |
| 1998-12-16 | minor changes in the History | Thomas Kleymann | |
| 1998-12-16 | . clarified history of multiple files | Thomas Kleymann | |
| . added UITP reference | |||
| 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 | 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 | radical new version of Credits and References section | Thomas Kleymann | |
| 1998-12-15 | made many minor changes to the documentation | 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 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 | 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-10-29 | Reverted to old file, v 2.9 | David Aspinall | |
| 1998-10-29 | Begun section on adding new assistant | David Aspinall | |
| 1998-10-29 | More hacks to variable names for customize (sorry) | David Aspinall | |
| 1998-10-28 | Begun rewriting docs | David Aspinall | |
| 1998-10-22 | minor change | Thomas Kleymann | |
| 1998-10-21 | Isabelle version added | David Aspinall | |
| 1998-10-18 | added specification for a more generic mechanism for large undos | Thomas Kleymann | |
| COQ: C-c u inside a Section should reset the whole section, then redo defns LEGO: consider Discharge; perhaps unrol to the beginning of the module? The suggested mechanism subsumes the current setup for normal commands and goalsave properties. | |||
| 1998-10-18 | Reimplemented multiple file proof developments | Thomas Kleymann | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |