proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Simplify byte comp, notes of brokenness.	David Aspinall	2002-08-29
\|
*	Delete rogue elcs	David Aspinall	2001-09-04
\|
*	Name change af2 -> phox	David Aspinall	2000-12-07
\|
*	Add acl2 and twelf to elisp dirs	David Aspinall	2000-09-29
\|
*	Added af2 and twelf to elisp dirs.	David Aspinall	2000-09-13
\|
*	Clean also deletes CVS temporaries (naughty, should be in devel.clean really)	David Aspinall	2000-05-26
\|
*	Add target for editing perl scripts too	David Aspinall	2000-05-25
\|
*	Be more generous if bash is not found.	David Aspinall	2000-05-16
\|
*	Added scripts target to edit Isabelle scripts, patch from Mike Squire.	David Aspinall	2000-05-16
\|
*	EMACS -> BATCHEMACS var	David Aspinall	2000-05-09
\|
*	make clean removes Emacs backups. Probably safe...	David Aspinall	2000-05-05
\|
*	Add hol98 to elisp dirs.	David Aspinall	2000-03-13
\|
*	Add *.xemacs targets	David Aspinall	1999-11-17
\|
*	Add demoisa dir to makefiles.	David Aspinall	1999-11-14
\|
*	Added plastic to elisp dirs and cleanup backup files.	David Aspinall	1999-09-13
\|
*	enabled isar;	Makarius Wenzel	1999-08-24
\|
*	clean does doc/clean too.	David Aspinall	1998-11-25
\|
*	Changed <target>.devel into devel.<target> cos I find it easier to think of	David Aspinall	1998-10-29
\|
*	Comments	David Aspinall	1998-10-27
\|
*	Added generic target <develtarget>.devel	David Aspinall	1998-10-27
\|
*	Improved ELC setting. Added 'make all' target to compile .elcs separately.	David Aspinall	1998-10-27
\|