proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	clean: clean profile and test output	David Aspinall	2010-10-10
\|
*	Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs)	David Aspinall	2010-10-06
\|
*	Fix mmm path	David Aspinall	2010-08-27
\|
*	Remove obsolete provers	David Aspinall	2010-08-25
\|
*	Fix compile errors, update tags	David Aspinall	2010-08-16
\|
*	Prevent warning on cl functions (cl functions called at runtime	David Aspinall	2009-09-16
\| \| \| \|	warning should not stop compilation).
*	Default target: dont edit scripts	David Aspinall	2009-09-15
\|
*	Be strict about compile warnings	David Aspinall	2009-09-15
\|
*	Remove warnings in batch compile about functions possibly undefined at	David Aspinall	2009-09-08
\| \| \| \| \|	runtime. Most of these are spurious (come from autoloads; byte comp seems to give these higher priority than declarations in same file).
*	Don't try to compile obsolete twelf Emacs code.	David Aspinall	2009-09-07
\|
*	Fix to use in place of make, see ↵	David Aspinall	2009-03-10
\| \| \| \|	http://proofgeneral.inf.ed.ac.uk/trac/ticket/262
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Remove duplicate default target. Add doc for EMACS setting egs.	David Aspinall	2008-01-31
\|
*	Ignore errors compiling maths-menu.el (for XEmacs 21.4)	David Aspinall	2008-01-29
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Ignore errors in bytecomp	David Aspinall	2007-12-14
\|
*	Let broken compilation proceed for now	David Aspinall	2007-12-14
\|
*	Be stricter about byte compilation: compile separately and halt on errors	David Aspinall	2007-12-14
\|
*	Clarify error messages during compile	David Aspinall	2007-12-14
\|
*	Updated.	David Aspinall	2007-12-12
\|
*	Fix typo.	David Aspinall	2007-12-09
\|
*	Comments.	David Aspinall	2007-12-09
\|
*	Choose Emacs instead of XEmacs	David Aspinall	2007-03-04
\|
*	Note on sudo and cp -p clash	David Aspinall	2007-02-27
\|
*	removed obsolete references to 'isa';	Makarius Wenzel	2006-12-07
\|
*	Fix typo.	David Aspinall	2006-09-22
\|
*	Packaging fixes: put isar/interface in right place; install examples and doc ↵	David Aspinall	2006-09-22
\| \| \| \|	files from Makefile.
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Cleanup makefiles	David Aspinall	2006-08-28
\|
*	Detect EMACS setting.	David Aspinall	2006-05-26
\|
*	Make install-bin also install Isabelle and Lego scripts	David Aspinall	2005-10-04
\|
*	Fix distclean to remove x-symbol elc files	David Aspinall	2005-07-15
\|
*	Add lib to elisp dirs	David Aspinall	2004-08-25
\|
*	Edit PGHOMEDEFAULT rather than PGHOME.	David Aspinall	2004-06-04
\|
*	Note about bad pgscripts editing	David Aspinall	2004-04-17
\|
*	Fix info install	David Aspinall	2004-03-02
\|
*	Oops. Fix DEST_PREFIX mistake in paths.	David Aspinall	2004-03-02
\|
*	Updated.	David Aspinall	2004-03-01
\|
*	Fix cleanpgscripts	David Aspinall	2004-03-01
\|
*	Comment.	David Aspinall	2004-03-01
\|
*	Tweak desktop integration; add application-registry.	David Aspinall	2004-03-01
\|
*	Tweaks for install, compiling x-symbol, etc	David Aspinall	2004-02-29
\|
*	Split install-elisp into separate targets for RPM	David Aspinall	2004-02-28
\|
*	Expand: add install targets, editing proofgeneral script, dealing with emacs ↵	David Aspinall	2004-02-28
\| \| \| \|	versions.
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	clean does distclean for x-symbol	David Aspinall	2003-03-05
\|
*	Add mmm. Ignore byte compile errors	David Aspinall	2003-03-03
\|
*	Line for Emacs compile	David Aspinall	2003-02-15
\|
*	Updated.	David Aspinall	2002-11-28
\|