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.doc
Commit message (
Expand
)
Author
Age
*
Don't make link to index.html
David Aspinall
2009-08-20
*
Not batch for debug
David Aspinall
2008-01-17
*
Fix typo.
David Aspinall
2008-01-17
*
Updated.
David Aspinall
2008-01-17
*
Prevent magic during dist
David Aspinall
2007-12-14
*
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-06-19
*
Path for docstring-magic
David Aspinall
2007-05-10
*
Fix library name
David Aspinall
2007-05-10
*
Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)
David Aspinall
2007-03-03
*
Add EMACSFLAGS so can run with EMACS=emacs
David Aspinall
2004-05-06
*
Add man page, remove ps file from distrib.
David Aspinall
2004-02-29
*
Add -no-site-file to batch xemacs.
David Aspinall
2004-02-29
*
Add -q to emacs
David Aspinall
2002-08-31
*
Try to disable image for now
David Aspinall
2001-05-01
*
Use PS fonts in PS file
David Aspinall
2001-03-20
*
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-10-02
*
Split manual into two parts.
David Aspinall
2000-08-28