proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Altered to use craro since scar now broken.	David Aspinall	1999-09-13
\|
*	Added plastic to elisp dirs and cleanup backup files.	David Aspinall	1999-09-13
\|
*	Made a release (ProofGeneral.spec, proof-site.el, download.phtml)	David Aspinall	1999-09-13
\| \| \| \| \|	Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
*	Typo (I think)	David Aspinall	1999-08-27
\|
*	Added more macros to generalise Makefile	David Aspinall	1999-08-27
\|
*	Fixed version variable name.	David Aspinall	1999-08-24
\|
*	enabled isar/;	Makarius Wenzel	1999-08-24
\|
*	Changes for 2.3 series pre-releases.	David Aspinall	1999-08-23
\|
*	Removed .eps.gz file from distrib to make it much smaller	David Aspinall	1999-08-19
\|
*	Updated for web pages, now only low-priority.	David Aspinall	1999-08-17
\|
*	Added prereltag.txt and extra link for latest srpm.	David Aspinall	1999-07-22
\|
*	Fix rpm building for 3.0.1 version of RPM.	David Aspinall	1999-07-01
\|
*	topdir stuff broken, to be fixed.	David Aspinall	1999-06-30
\|
*	Removed distinstall, doesn't work for temporary server.	David Aspinall	1999-06-30
\|
*	Set CVSROOT for remote cvs.	David Aspinall	1999-06-28
\|
*	Changed doc targets during build	David Aspinall	1999-06-28
\|
*	Remove temporary file	proofgen	1999-06-28
\|
*	Added ChangeLog to dist area.	proofgen	1999-06-24
\|
*	Updates for new web pages, todo list.	David Aspinall	1999-06-24
\|
*	Fixes for XEmacs 21.1	David Aspinall	1999-06-15
\|
*	Dont include plastic/isar in main distribution.	David Aspinall	1999-06-07
\|
*	Comments	David Aspinall	1999-06-07
\|
*	Added devel.etags target	David Aspinall	1999-02-01
\|
*	Instructions how to hack another CVS tag.	David Aspinall	1998-12-17
\|
*	Removed .cvsignore files from distribution.	David Aspinall	1998-12-17
\|
*	towards prerelease 2.1	Thomas Kleymann	1998-12-16
\|
*	Remove isa/wip.ML from distrib and web.	David Aspinall	1998-11-25
\|
*	Removed spurious fi	David Aspinall	1998-11-10
\|
*	Added some support for making a full release. Must edit html by hand though.	David Aspinall	1998-11-10
\|
*	release now should make links to -latest names for fixed URLs. (needs testing)	David Aspinall	1998-11-03
\|
*	Removed duplicate distclean target	David Aspinall	1998-11-02
\|
*	o added support for byte-compilation	Thomas Kleymann	1998-11-01
\| \| \| \| \| \| \|	o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode
*	implemented new buffer model. The goals buffer is now exclusively	Thomas Kleymann	1998-10-30
\| \| \| \|	reserved for goals.
*	Added install to distall target	David Aspinall	1998-10-29
\|
*	Added distall target	David Aspinall	1998-10-29
\|
*	todo file was specifically excluded from distribution area	David Aspinall	1998-10-29
\|
*	Added note about what to do if releaseall fails	David Aspinall	1998-10-29
\|
*	Added tags target	David Aspinall	1998-10-29
\|
*	Removed junk from cvs merge	David Aspinall	1998-10-27
\|
*	Fixup repository mess	David Aspinall	1998-10-27
\|
*	Renamed file	David Aspinall	1998-10-27
\|
*	fixed a bug in distinstall	Thomas Kleymann	1998-10-22
\|
*	modified local installation procedure	Thomas Kleymann	1998-10-21
\|
*	Added tar variable. Use make TAR=gnutar <args> on local Suns.	David Aspinall	1998-10-20
\|
*	Changed dcsinstall into distinstall. Added comments.	David Aspinall	1998-10-20
\|
*	dcsinstall copies from DISTBUILDIR instead for local only release	David Aspinall	1998-10-20
\|
*	Added dcsinstall target.	David Aspinall	1998-10-20
\|
*	Added word new to release message	David Aspinall	1998-10-14
\|
*	Added developer's distribution, link to master todo list, images target	David Aspinall	1998-10-14
\|
*	Added cleanup after release.	David Aspinall	1998-10-13
\|