proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Attempt to force image build	David Aspinall	2000-10-02
\|
*	Attempt to force image build	David Aspinall	2000-10-02
\|
*	Subtitle caps	David Aspinall	2000-10-02
\|
*	Typos in credits section	David Aspinall	2000-09-29
\|
*	Added credits section	David Aspinall	2000-09-29
\|
*	Date becomes Oct	David Aspinall	2000-09-28
\|
*	Tweaks	David Aspinall	2000-09-28
\|
*	Fix typo, add credit.	David Aspinall	2000-09-28
\|
*	Add default target	David Aspinall	2000-09-28
\|
*	Added extra section on how to tweak script input to the shell	David Aspinall	2000-09-28
\|
*	proper spelling: "Leonor Prensa Nieto";	Makarius Wenzel	2000-09-27
\| \| \| \| \|	fixed @kindex for LEGO and Coq; Isabelle Proof General: cover Isabelle/Isar as well;
*	Added future section, fixed URLs. Updated to mention ↵	David Aspinall	2000-09-27
\| \| \| \|	proof-script-sexp-commands.
*	Shortened BUGs appendix, other improvements	David Aspinall	2000-09-27
\|
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	Update date.	David Aspinall	2000-09-23
\|
*	Slightly shorter name for info dir entry.	David Aspinall	2000-09-21
\|
*	Fix infodir entry, it got broken somehow.	David Aspinall	2000-09-21
\|
*	Make PG-adapting first so index.html left pointing to main manual	David Aspinall	2000-09-21
\|
*	Improved adding more lisp code chapter.	David Aspinall	2000-09-21
\|
*	Encourage use of easy instantiation mechanism.	David Aspinall	2000-09-14
\|
*	Moved proof-add-completions to adapting manual	David Aspinall	2000-09-14
\|
*	Added doc of completions, several other script settings. Sections in script ↵	David Aspinall	2000-09-14
\| \| \| \|	chapter.
*	Note about creating images for toolbar.	David Aspinall	2000-09-14
\|
*	Removed keystroke index.	David Aspinall	2000-09-13
\|
*	Remove keystroke index, add appendix with demoisa code (directly included)	David Aspinall	2000-09-13
\|
*	Add sections to chapter 2, and text on adjusting toolbar. Update magic	David Aspinall	2000-09-13
\|
*	Minor improvements	David Aspinall	2000-09-13
\|
*	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
\|
*	Customize always available if PG is	David Aspinall	2000-09-08
\|
*	Added proof-shell-auto-terminate-commands	David Aspinall	2000-08-29
\|
*	Fix description of manual now broken into two	David Aspinall	2000-08-28
\|
*	Updated magic	David Aspinall	2000-08-28
\|
*	Fix recursive make	David Aspinall	2000-08-28
\|
*	Missing full stop	David Aspinall	2000-08-28
\|
*	Split manual into two parts.	David Aspinall	2000-08-28
\| \| \| \| \| \| \| \| \|	Added notes about find theorems trick of separating constants by comma for Isabelle. Made for version 99-1. Improved documentation for urgent messages, including recent additions. Mentioned new high-level macros proof-defshortcut, proof-definvisible.
*	updated;	Makarius Wenzel	2000-07-26
\|
*	use proof-assistant-table instead of proof-assistants;	Makarius Wenzel	2000-07-26
\|
*	Minor updates	David Aspinall	2000-07-12
\|
*	Updated list of helpers. Typo	David Aspinall	2000-06-19
\|
*	Elaborated on where to find example file	David Aspinall	2000-06-15
\|
*	Updated magic.	David Aspinall	2000-06-09
\|
*	Load a couple more file manually.	David Aspinall	2000-06-09
\|
*	completely new indentation setup: faster, easier to configure;	Makarius Wenzel	2000-06-08
\| \| \| \|	now enabled by default;
*	Added paragraph and index entry explaining prefix arguments,	David Aspinall	2000-06-05
\| \| \| \| \|	and some more on keystrokes, for the Emacs-impoverished users. Added doc of proof-display-some-buffers
*	Added proof-comment-{start,end}-regexp.	David Aspinall	2000-06-01
\| \| \| \| \| \|	Added proof-segment-up-to-{cmdstart,cmdend} and details of which is selected. Updated magic.
*	Updated with new keybindings for Coq, Lego.	David Aspinall	2000-05-29
\|
*	Updated magic	David Aspinall	2000-05-26
\|