proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	use makeinfo instead of texi2html	Hendrik Tews	2017-01-17
\| \| \| \| \|	texi2html is dead, see for instance https://wiki.debian.org/Texi2htmlTransition
*	Update numbering flag passed to texi2html	Tej Chajed	2016-02-10
\| \| \| \| \| \|	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.
*	removal of backup files (*~) moved to make distclean	Hendrik Tews	2013-01-15
\|
*	Remove unused variable	David Aspinall	2012-01-03
\|
*	Add web style sheet to doc output (work in progress)	David Aspinall	2011-11-09
\|
*	Fix emails	David Aspinall	2011-05-05
\|
*	Clean up and remove obsolete dvi targets.	David Aspinall	2011-05-05
\|
*	Update magic, tweak Makefile to make sure magic uses source .els	David Aspinall	2011-04-26
\|
*	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	2010-08-23
\|
*	Fix clean targets	David Aspinall	2009-09-21
\|
*	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
\| \| \| \|	(NB! Emacs has different regexp behaviour in @lisp, though!!)
*	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
	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.