aboutsummaryrefslogtreecommitdiff
path: root/doc/Makefile
AgeCommit message (Collapse)Author
2011-05-05Fix emailsDavid Aspinall
2011-05-05Remove mention of dviDavid Aspinall
2005-08-10Include proofgeneral.1 target. Fix make->(MAKE)David Aspinall
2004-02-29Add man page, remove ps file from distrib.David Aspinall
2000-09-28Add default targetDavid Aspinall
2000-09-21Make PG-adapting first so index.html left pointing to main manualDavid Aspinall
2000-08-28Fix recursive makeDavid Aspinall
2000-08-28Split 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-09Added default targetDavid Aspinall
1999-11-26Added index.html link.David Aspinall
1999-11-25Added note about page rearrangement for pdf filesDavid Aspinall
1999-11-22Fixed conditional inclusion of image. Added pdf to distdoc.David Aspinall
1999-11-19Additions for pdf version; needs hack to my pdftexinfo.tex to workDavid Aspinall
1999-11-17CommentDavid Aspinall
1999-09-13Fixed rearrange target.David Aspinall
1999-09-13Made 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-20Remove temporary fileDavid Aspinall
1999-08-19Adjustments to remove .eps picture from frontDavid Aspinall
1999-07-24please ignore (back to 2.15);Makarius Wenzel
1999-07-24*** empty log message ***Makarius Wenzel
1999-07-01Put info files back in dist.David Aspinall
1999-06-30updatedDavid Aspinall
1999-06-28Added .ps.gz target and dist target.David Aspinall
1999-06-28Removed accidental deletion of ps file.David Aspinall
1999-06-24UpdatesDavid Aspinall
1999-02-22Fixed for dvips which sends to printer by default.David Aspinall
1998-12-17Split chapters of html for easier browsing.David Aspinall
1998-12-15Added ps to make all.David Aspinall
1998-12-15Added back magic target, handy to force update of magic.David Aspinall
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-14rearrange pages automaticallyThomas Kleymann
1998-11-25Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiDavid Aspinall
1998-11-25Name fix.David Aspinall
1998-11-25Magic docstring -> texi conversion.David Aspinall
1998-11-10added entry to convert dvi into ps.Thomas Kleymann
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-24Removed pdf target so build works on standard DCS machines.David Aspinall
1998-09-24Removed Makefiles from distribution.David Aspinall
1998-09-17Added cvsclean targetDavid Aspinall
1998-09-16Makefile for building every kind of target from texi.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:06:46 +0000