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