proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Fixes for PA docs, and file load order.	David Aspinall	2000-05-25
\|
*	Fix info bug.	David Aspinall	2000-05-25
\|
*	Doc more new features and bug fixes for 3.2.	David Aspinall	2000-05-25
\| \| \| \| \| \|	Doc new PA-<name> mechanism. Doc for completion. Doc for proof-shell-pre-sync-init-cmd.
*	Updated magic, new funcs.	David Aspinall	2000-05-16
\|
*	Fixed to load all files and define proof ass specifc vars.	David Aspinall	2000-05-16
\|
*	Notes about fixing docstring-magic.	David Aspinall	2000-05-12
\|
*	Updated 3.2 changes	David Aspinall	2000-05-09
\|
*	Added default target	David Aspinall	2000-05-09
\|
*	Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.	David Aspinall	2000-05-05
\|
*	Fix markup bug.	David Aspinall	2000-05-05
\|
*	Expanded explanation of selecting Isar.	David Aspinall	2000-05-05
\|
*	Added proof-assistant-menu-entries for proof assistant specific menus.	David Aspinall	2000-05-01
\|
*	mode-for-pbp -> mode-for-goals	David Aspinall	2000-04-07
\|
*	Updates for 3.2. Added documentation of silent settings.	David Aspinall	2000-04-07
\|
*	Add some more bullets.	David Aspinall	2000-03-24
\|