Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add default target | David Aspinall | 2000-09-28 |
| | |||
* | Make PG-adapting first so index.html left pointing to main manual | David Aspinall | 2000-09-21 |
| | |||
* | Fix recursive make | David Aspinall | 2000-08-28 |
| | |||
* | Split manual into two parts. | David Aspinall | 2000-08-28 |
| | | | | | | | | | 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. | ||
* | Added default target | David Aspinall | 2000-05-09 |
| | |||
* | Added index.html link. | David Aspinall | 1999-11-26 |
| | |||
* | Added note about page rearrangement for pdf files | David Aspinall | 1999-11-25 |
| | |||
* | Fixed conditional inclusion of image. Added pdf to distdoc. | David Aspinall | 1999-11-22 |
| | |||
* | Additions for pdf version; needs hack to my pdftexinfo.tex to work | David Aspinall | 1999-11-19 |
| | |||
* | Comment | David Aspinall | 1999-11-17 |
| | |||
* | Fixed rearrange target. | David Aspinall | 1999-09-13 |
| | |||
* | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | David Aspinall | 1999-09-13 |
| | | | | | Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present | ||
* | Remove temporary file | David Aspinall | 1999-08-20 |
| | |||
* | Adjustments to remove .eps picture from front | David Aspinall | 1999-08-19 |
| | |||
* | please ignore (back to 2.15); | Makarius Wenzel | 1999-07-24 |
| | |||
* | *** empty log message *** | Makarius Wenzel | 1999-07-24 |
| | |||
* | Put info files back in dist. | David Aspinall | 1999-07-01 |
| | |||
* | updated | David Aspinall | 1999-06-30 |
| | |||
* | Added .ps.gz target and dist target. | David Aspinall | 1999-06-28 |
| | |||
* | Removed accidental deletion of ps file. | David Aspinall | 1999-06-28 |
| | |||
* | Updates | David Aspinall | 1999-06-24 |
| | |||
* | Fixed for dvips which sends to printer by default. | David Aspinall | 1999-02-22 |
| | |||
* | Split chapters of html for easier browsing. | David Aspinall | 1998-12-17 |
| | |||
* | 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-15 |
| | |||
* | rearrange pages automatically | Thomas Kleymann | 1998-12-14 |
| | |||
* | 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-25 |
| | |||
* | added entry to convert dvi into ps. | Thomas Kleymann | 1998-11-10 |
| | |||
* | Updated maintainer tags to remove lego email address. | David Aspinall | 1998-10-01 |
| | |||
* | Removed pdf target so build works on standard DCS machines. | David Aspinall | 1998-09-24 |
| | |||
* | Removed Makefiles from distribution. | David Aspinall | 1998-09-24 |
| | |||
* | Added cvsclean target | David Aspinall | 1998-09-17 |
| | |||
* | Makefile for building every kind of target from texi. | David Aspinall | 1998-09-16 |