proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2017-01-17	use makeinfo instead of texi2html	Hendrik Tews
	texi2html is dead, see for instance https://wiki.debian.org/Texi2htmlTransition
2016-02-10	Update numbering flag passed to texi2html	Tej Chajed
	texi2html, as of version 1.80 (http://download-mirror.savannah.gnu.org/releases//texi2html/NEWS-1.80), uses -number-sections instead of -number for the flag name.
2013-01-15	removal of backup files (*~) moved to make distclean	Hendrik Tews

2012-01-03	Remove unused variable	David Aspinall

2011-11-09	Add web style sheet to doc output (work in progress)	David Aspinall

2011-05-05	Fix emails	David Aspinall

2011-05-05	Clean up and remove obsolete dvi targets.	David Aspinall

2011-04-26	Update magic, tweak Makefile to make sure magic uses source .els	David Aspinall

2010-08-23	Remove extra nav bars in html. Clean html subdirs on distclean	David Aspinall

2010-08-23	-prefix -> --output	David Aspinall

2010-08-23	texi2html: add -prefix to give same as old behaviour (sub-directory).	David Aspinall

2009-09-21	Fix clean targets	David Aspinall

2009-08-20	Don't make link to index.html	David Aspinall

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
	(NB! Emacs has different regexp behaviour in @lisp, though!!)
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
	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.