index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
doc
/
Makefile
Commit message (
Expand
)
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 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
*
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