proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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