proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Added devel targets for convenience	David Aspinall	1998-10-27
\|
*	Makefile for distribution. Devel now uses 'make -f Makefile.devel <args>'	David Aspinall	1998-10-27