| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2000-08-28 | Fix recursive make | David Aspinall | |
| 2000-08-28 | Split manual into two parts. | David Aspinall | |
| Added notes about find theorems trick of separating constants by comma for Isabelle. Made for version 99-1. Improved documentation for urgent messages, including recent additions. Mentioned new high-level macros proof-defshortcut, proof-definvisible. | |||
| 2000-05-09 | Added default target | David Aspinall | |
| 1999-11-26 | Added index.html link. | David Aspinall | |
| 1999-11-25 | Added note about page rearrangement for pdf files | David Aspinall | |
| 1999-11-22 | Fixed conditional inclusion of image. Added pdf to distdoc. | David Aspinall | |
| 1999-11-19 | Additions for pdf version; needs hack to my pdftexinfo.tex to work | David Aspinall | |
| 1999-11-17 | Comment | David Aspinall | |
| 1999-09-13 | Fixed rearrange target. | 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-20 | Remove temporary file | David Aspinall | |
| 1999-08-19 | Adjustments to remove .eps picture from front | David Aspinall | |
| 1999-07-24 | please ignore (back to 2.15); | Makarius Wenzel | |
| 1999-07-24 | *** empty log message *** | Makarius Wenzel | |
| 1999-07-01 | Put info files back in dist. | David Aspinall | |
| 1999-06-30 | updated | David Aspinall | |
| 1999-06-28 | Added .ps.gz target and dist target. | David Aspinall | |
| 1999-06-28 | Removed accidental deletion of ps file. | David Aspinall | |
| 1999-06-24 | Updates | David Aspinall | |
| 1999-02-22 | Fixed for dvips which sends to printer by default. | David Aspinall | |
| 1998-12-17 | Split chapters of html for easier browsing. | David Aspinall | |
| 1998-12-15 | Added ps to make all. | David Aspinall | |
| 1998-12-15 | Added back magic target, handy to force update of magic. | David Aspinall | |
| 1998-12-15 | made many minor changes to the documentation | Thomas Kleymann | |
| 1998-12-14 | rearrange pages automatically | Thomas Kleymann | |
| 1998-11-25 | Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texi | David Aspinall | |
| 1998-11-25 | Name fix. | David Aspinall | |
| 1998-11-25 | Magic docstring -> texi conversion. | David Aspinall | |
| 1998-11-10 | added entry to convert dvi into ps. | Thomas Kleymann | |
| 1998-10-01 | Updated maintainer tags to remove lego email address. | David Aspinall | |
| 1998-09-24 | Removed pdf target so build works on standard DCS machines. | David Aspinall | |
| 1998-09-24 | Removed Makefiles from distribution. | David Aspinall | |
| 1998-09-17 | Added cvsclean target | David Aspinall | |
| 1998-09-16 | Makefile for building every kind of target from texi. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |