| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-10-06 | Updates | David Aspinall | |
| 1999-10-06 | Updates | David Aspinall | |
| 1999-10-06 | Admin changes for version 2.2. | David Aspinall | |
| 1999-10-06 | proof-try-command is deprecated | David Aspinall | |
| 1999-10-06 | Updates. | David Aspinall | |
| 1999-10-01 | Fixup name changes | David Aspinall | |
| 1999-10-01 | No attempt to update BUGS section of manual | David Aspinall | |
| 1999-10-01 | Minor changes to introduction. | David Aspinall | |
| 1999-09-30 | make magic; | Makarius Wenzel | |
| 1999-09-29 | Added proof-script-command-separator. Removed duplicated ↵ | David Aspinall | |
| proof-strict-read-only. | |||
| 1999-09-28 | Updated | David Aspinall | |
| 1999-09-23 | Added doc for proof-find-theorems | David Aspinall | |
| 1999-09-22 | updated (make magic); | Makarius Wenzel | |
| 1999-09-22 | Earlier explanation of what a proof assistant is. | David Aspinall | |
| 1999-09-13 | Fixed rearrange target. | David Aspinall | |
| 1999-09-13 | Updated magic | David Aspinall | |
| 1999-09-13 | Emphasised that user can still use the shell | David Aspinall | |
| 1999-09-13 | No longer cutting edge, really. | David Aspinall | |
| 1999-09-13 | XEmacs 21 fixes for documentation of function menu | David Aspinall | |
| 1999-09-13 | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | David Aspinall | |
| Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present | |||
| 1999-08-23 | Changes for 2.3 series pre-releases. | David Aspinall | |
| 1999-08-23 | proof-version -> proof-general-version | David Aspinall | |
| 1999-08-20 | Remove temporary file | David Aspinall | |
| 1999-08-20 | Updated prover versions | David Aspinall | |
| 1999-08-20 | Date updated. | David Aspinall | |
| 1999-08-19 | Adjustments to remove .eps picture from front | David Aspinall | |
| 1999-08-19 | Instructions for docs | David Aspinall | |
| 1999-07-24 | please ignore (back to 2.15); | Makarius Wenzel | |
| 1999-07-24 | *** empty log message *** | Makarius Wenzel | |
| 1999-07-03 | Load plastic and isar as a sanity check, prelude to documenting in texi | David Aspinall | |
| 1999-07-02 | Date change. | David Aspinall | |
| 1999-07-01 | Put info files back in dist. | David Aspinall | |
| 1999-06-30 | updated | David Aspinall | |
| 1999-06-28 | Updated. | David Aspinall | |
| 1999-06-28 | Added .ps.gz target and dist target. | David Aspinall | |
| 1999-06-28 | Problems with @image commented. | David Aspinall | |
| 1999-06-28 | Removed accidental deletion of ps file. | David Aspinall | |
| 1999-06-28 | Updated | David Aspinall | |
| 1999-06-24 | Replaces .eps file | David Aspinall | |
| 1999-06-24 | Updates | David Aspinall | |
| 1999-06-24 | Deleted files. | David Aspinall | |
| 1999-06-18 | New front page image. Updated magic. | David Aspinall | |
| 1999-06-14 | Added coq-begin-Section and coq-end-Section | Patrick Loiseleur | |
| 1999-05-17 | I've added the custom option 'prog-name-guess' in the generic part and | Patrick Loiseleur | |
| the function coq-guess-command-line in the coq part. Every prover should have the functon *-guess-command-line that uses, for example, the output of "make -n" to guess the correct command line options of the prover. Patrick | |||
| 1999-03-08 | Fixed. | David Aspinall | |
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |