index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
Makefile.doc
Age
Commit message (
Expand
)
Author
2008-01-17
Not batch for debug
David Aspinall
2008-01-17
Fix typo.
David Aspinall
2008-01-17
Updated.
David Aspinall
2007-12-14
Prevent magic during dist
David Aspinall
2007-06-19
Revert html target to not include dir (although it builds in dir)
David Aspinall
2007-06-19
Account for new default behaviour of texi2html, using subdir for manuals
David Aspinall
2007-06-19
Fix comment
David Aspinall
2007-05-10
Path for docstring-magic
David Aspinall
2007-05-10
Fix library name
David Aspinall
2007-03-03
Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)
David Aspinall
2004-05-06
Add EMACSFLAGS so can run with EMACS=emacs
David Aspinall
2004-02-29
Add man page, remove ps file from distrib.
David Aspinall
2004-02-29
Add -no-site-file to batch xemacs.
David Aspinall
2002-08-31
Add -q to emacs
David Aspinall
2001-05-01
Try to disable image for now
David Aspinall
2001-03-20
Use PS fonts in PS file
David Aspinall
2000-10-02
Fix recursive make
David Aspinall
2000-10-02
Attempt to force image build
David Aspinall
2000-10-02
Attempt to force image build
David Aspinall
2000-08-28
Split manual into two parts.
David Aspinall