proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Reduced sizes of images.	David Aspinall	2000-09-13
\|
*	Revamp style a bit -- not so good with netscape but OK elsewhere.	David Aspinall	2000-09-13
\|
*	Remove keystroke index, add appendix with demoisa code (directly included)	David Aspinall	2000-09-13
\|
*	Docstring changes for printed docs.	David Aspinall	2000-09-13
\|
*	Add sections to chapter 2, and text on adjusting toolbar. Update magic	David Aspinall	2000-09-13
\|
*	Add removal of state button as test example. Replace af2-with-xemacs -> ↵	David Aspinall	2000-09-13
\| \| \| \|	proof-running-on-XEmacs.
*	Add trivial test command.	David Aspinall	2000-09-13
\|
*	Order change	David Aspinall	2000-09-13
\|
*	Removed proof-toolbar-entries-default and <PA>-toolbar-entries.	David Aspinall	2000-09-13
\|
*	Minor improvements	David Aspinall	2000-09-13
\|
*	Remove ambitious promise to implement proper generic-find-and-forget.	David Aspinall	2000-09-13
\|
*	Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to ↵	David Aspinall	2000-09-13
\| \| \| \|	proof-config to allow easier configuration.
*	Make ordinary dist before develdist, because dist clears build dir... whoops.	David Aspinall	2000-09-12
\|
*	Notes about using cvs remotely added.	David Aspinall	2000-09-12
\|
*	Set version tag for new release.	David Aspinall	2000-09-12
\|
*	Updated magic.	David Aspinall	2000-09-12
\|
*	Add provide sym-lock to fix sym lock loading problem	David Aspinall	2000-09-12
\|
*	More details about parsing functions. Improved intro	David Aspinall	2000-09-12
\|
*	Update date.	David Aspinall	2000-09-12
\|
*	Remove shell important setting from script ones.	David Aspinall	2000-09-12
\|
*	Rather empty example.	David Aspinall	2000-09-12
\|
*	Add syntax config for block comments, and remove path from af2-prog-name.	David Aspinall	2000-09-12
\|
*	Updated	David Aspinall	2000-09-12
\|
*	Add sanity check on important settings for proof shell (underway)	David Aspinall	2000-09-12
\|
*	Added entry for Af2	David Aspinall	2000-09-12
\|
*	Docs for proof-shell-eager-annotation-start stuff	David Aspinall	2000-09-12
\|
*	New version sent by Christophe.	David Aspinall	2000-09-12
\|
*	proof-shell-pre-interrupt-hook for PolyML 3 only;	Makarius Wenzel	2000-09-11
\|
*	Set version tag for new release.	David Aspinall	2000-09-11
\|
*	New prover, first bash.	David Aspinall	2000-09-11
\|
*	Added proof-shell-annotated-prompt-regexp to important settings, removed ↵	David Aspinall	2000-09-11
\| \| \| \|	safe default of empty string (now will have error msgs from filter)
*	Customize always available if PG is	David Aspinall	2000-09-08
\|
*	Updated	David Aspinall	2000-09-08
\|
*	Changes for selecting object logic, locating executables.	David Aspinall	2000-09-08
\|
*	ADded proof-locate-executable.	David Aspinall	2000-09-08
\|
*	Fix obscure problem with proof-segment-upto-cmdstart with buggy input.	David Aspinall	2000-09-08
\|
*	Rearrangement	David Aspinall	2000-09-08
\|
*	removed "of", "congs";	Makarius Wenzel	2000-09-07
\| \| \| \|	added "hints";
*	removed unused variable C;	Makarius Wenzel	2000-09-03
\|
*	more quoting;	Makarius Wenzel	2000-09-02
\|
*	use isar-markup-ml;	Makarius Wenzel	2000-08-30
\| \| \| \| \|	eliminated superficial semicolons; fixed proof-shell-quit-cmd;
*	syntax: "?" made word char;	Makarius Wenzel	2000-08-29
\|
*	Set version tag for new release.	David Aspinall	2000-08-29
\|
*	Tweak	David Aspinall	2000-08-29
\|
*	Example file grabbed from twelf distrib	David Aspinall	2000-08-29
\|
*	A little bit of progress.	David Aspinall	2000-08-29
\|
*	Added proof-shell-auto-terminate-commands	David Aspinall	2000-08-29
\|
*	Set version tag for new release.	David Aspinall	2000-08-28
\|
*	adapting manual needs intro fixing	David Aspinall	2000-08-28
\|
*	Fix description of manual now broken into two	David Aspinall	2000-08-28
\|