proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Added proof-assistant-symbol	David Aspinall	1998-12-18
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-17
\|
*	Set version tag for new release.	David Aspinall	1998-12-16
\|
*	Set version tag for new release.	David Aspinall	1998-12-16
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	Set version tag for new release.	Thomas Kleymann	1998-12-16
\|
*	Set version tag for new release.	David Aspinall	1998-12-15
\|
*	Docstring fix.	David Aspinall	1998-12-15
\|
*	made many minor changes to the documentation	Thomas Kleymann	1998-12-15
\|
*	Gave up on buggy Emacs 19 support, now give error for Emacs 19.	David Aspinall	1998-12-14
\|
*	Set version tag for new release.	David Aspinall	1998-12-11
\|
*	Set version tag for new release.	David Aspinall	1998-12-07
\|
*	Set version tag for new release.	David Aspinall	1998-11-26
\|
*	Quotes added to try to fix markup.	David Aspinall	1998-11-26
\|
*	Set version tag for new release.	David Aspinall	1998-11-25
\|
*	Documentation improvements.	David Aspinall	1998-11-25
\|
*	docstring fixes and alterations.	David Aspinall	1998-11-25
\| \| \| \|	Directory variables are no longer user options.
*	Set version tag for new release.	David Aspinall	1998-11-20
\|
*	Set version tag for new release.	David Aspinall	1998-11-10
\|
*	Give error message when attempting to load a second instance of Proof	David Aspinall	1998-11-06
\| \| \| \| \|	General, and give up loading. To save embarrasment in demos, 8-).
*	Set version tag for new release.	David Aspinall	1998-11-04
\|
*	Set version tag for new release.	Thomas Kleymann	1998-11-03
\|
*	Set version tag for new release.	Thomas Kleymann	1998-11-02
\|
*	Set version tag for new release.	Thomas Kleymann	1998-10-30
\|
*	Set version tag for new release.	David Aspinall	1998-10-29
\|
*	Added automatic <prover>-config customize group	David Aspinall	1998-10-29
\|
*	More hacks to variable names for customize (sorry)	David Aspinall	1998-10-29
\|
*	Added prefixes in custom defgroups.	David Aspinall	1998-10-29
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	Set version tag for new release.	proofgen	1998-10-28
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Note about bogus compiler warning	David Aspinall	1998-10-26
\|
*	Set version tag for new release.	Thomas Kleymann	1998-10-22
\|
*	Separated splash screen code	David Aspinall	1998-10-22
\|
*	Fixed info directory setting so more robust and works for FSF GNU Emacs	David Aspinall	1998-10-21
\|
*	Changed from forcing w3 to using customizable browse-url	David Aspinall	1998-10-21
\|
*	Set version tag for new release.	David Aspinall	1998-10-20
\|
*	Set version tag for new release.	David Aspinall	1998-10-15
\|
*	Set version tag for release.	David Aspinall	1998-10-14
\|
*	Set version tag for release.	David Aspinall	1998-10-13
\|
*	Fixed broken tagging	David Aspinall	1998-10-12
\|
*	Added todo for proof-issue-goal, proof-issue-save.	David Aspinall	1998-10-12
\|
*	Removed proof-internal cus grp from proof group.	David Aspinall	1998-10-12
\|
*	Munged name of customization variables so that menus display nicely.	David Aspinall	1998-10-07
\| \| \| \| \| \| \|	Added cust group for proof general internals. Added automatic setting of proof-assistant and customize group, via mode function stubs which load the real elisp files. (This also avoids polluting the load-path too much).
*	Added $ to coq automode regexp	David Aspinall	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Removed "myass" test entry.	David Aspinall	1998-09-23
\|
*	Made configuration more sophisticated:	David Aspinall	1998-09-23
\| \| \| \| \|	. proof-general-supported-assistants is master table of names & autoloads. . proof-home is calculated automatically from load-file-name