aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/Makefile
Commit message (Expand)AuthorAge
* Fix emailsGravatar David Aspinall2011-05-05
* Remove mention of dviGravatar David Aspinall2011-05-05
* Include proofgeneral.1 target. Fix make->(MAKE)Gravatar David Aspinall2005-08-10
* Add man page, remove ps file from distrib.Gravatar David Aspinall2004-02-29
* Add default targetGravatar David Aspinall2000-09-28
* Make PG-adapting first so index.html left pointing to main manualGravatar David Aspinall2000-09-21
* Fix recursive makeGravatar David Aspinall2000-08-28
* Split manual into two parts.Gravatar David Aspinall2000-08-28
* Added default targetGravatar David Aspinall2000-05-09
* Added index.html link.Gravatar David Aspinall1999-11-26
* Added note about page rearrangement for pdf filesGravatar David Aspinall1999-11-25
* Fixed conditional inclusion of image. Added pdf to distdoc.Gravatar David Aspinall1999-11-22
* Additions for pdf version; needs hack to my pdftexinfo.tex to workGravatar David Aspinall1999-11-19
* CommentGravatar David Aspinall1999-11-17
* Fixed rearrange target.Gravatar David Aspinall1999-09-13
* Made a release (ProofGeneral.spec, proof-site.el, download.phtml)Gravatar David Aspinall1999-09-13
* Remove temporary fileGravatar David Aspinall1999-08-20
* Adjustments to remove .eps picture from frontGravatar David Aspinall1999-08-19
* please ignore (back to 2.15);Gravatar Makarius Wenzel1999-07-24
* *** empty log message ***Gravatar Makarius Wenzel1999-07-24
* Put info files back in dist.Gravatar David Aspinall1999-07-01
* updatedGravatar David Aspinall1999-06-30
* Added .ps.gz target and dist target.Gravatar David Aspinall1999-06-28
* Removed accidental deletion of ps file.Gravatar David Aspinall1999-06-28
* UpdatesGravatar David Aspinall1999-06-24
* Fixed for dvips which sends to printer by default.Gravatar David Aspinall1999-02-22
* Split chapters of html for easier browsing.Gravatar David Aspinall1998-12-17
* Added ps to make all.Gravatar David Aspinall1998-12-15
* Added back magic target, handy to force update of magic.Gravatar David Aspinall1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* rearrange pages automaticallyGravatar Thomas Kleymann1998-12-14
* Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texiGravatar David Aspinall1998-11-25
* Name fix.Gravatar David Aspinall1998-11-25
* Magic docstring -> texi conversion.Gravatar David Aspinall1998-11-25
* added entry to convert dvi into ps.Gravatar Thomas Kleymann1998-11-10
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Removed pdf target so build works on standard DCS machines.Gravatar David Aspinall1998-09-24
* Removed Makefiles from distribution.Gravatar David Aspinall1998-09-24
* Added cvsclean targetGravatar David Aspinall1998-09-17
* Makefile for building every kind of target from texi.Gravatar David Aspinall1998-09-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-01 13:04:57 +0000