proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	Set version tag for new release.	David Aspinall	2000-09-25
\|
*	comment: avoid unbalanced quotes;	Makarius Wenzel	2000-09-25
\|
*	Set version tag for new release.	David Aspinall	2000-09-23
\|
*	proof-display-some-buffers moves point to end of output in response buffer.	David Aspinall	2000-09-23
\|
*	proof-display-some-buffers improved: toggles between goals and response in	David Aspinall	2000-09-23
\| \| \| \|	2-pane mode
*	Fix proof-display-and-keep-buffer for displaying from non-script buffer. ↵	David Aspinall	2000-09-23
\| \| \| \|	Add proof-with-script-buffer.
*	Always activate bug fix -- this file only loaded for FSF Emacs.	David Aspinall	2000-09-23
\|
*	Make toolbar enablers work appropriately from non-scripting buffers	David Aspinall	2000-09-23
\| \| \| \| \|	Remove support for obsolete 1-bit xbm images Update comments
*	Call (proof-toolbar-setup) to add toolbar to goals and response buffer	David Aspinall	2000-09-23
\| \| \| \|	Unify goals and response menus with script buffer menu
*	Remove require on proof-depends	David Aspinall	2000-09-23
\| \| \| \| \|	Make toolbar commands work from non-scripting buffers Add save file dialogue to proof-register-possibly-new-processed-file
*	Update comments	David Aspinall	2000-09-23
\|
*	Updated	David Aspinall	2000-09-23
\|
*	Set version tag for new release.	David Aspinall	2000-09-21
\|
*	Newlines.	David Aspinall	2000-09-21
\|
*	Removed blurry distinction between block-comment and comment in FSF's ↵	David Aspinall	2000-09-21
\| \| \| \|	buffer-syntactic-context
*	Set version tag for new release.	David Aspinall	2000-09-20
\|
*	Comments	David Aspinall	2000-09-20
\|
*	Disable toolbar enablers on win32.	David Aspinall	2000-09-20
\|
*	dirty bug fix in next-span to avoid loops with FSF Emacs	Christophe Raffalli	2000-09-20
\|
*	changed proof-remove-comment to avoid using string-search (using ↵	Christophe Raffalli	2000-09-18
\| \| \| \|	string-match instead).
*	Get rid of proof-segment-up-to-old.	David Aspinall	2000-09-18
\|
*	Added bug fix section and patch for undefined	David Aspinall	2000-09-18
\| \| \| \|	font-lock-preprocessor-face in FSF Emacs.
*	Emulate buffer-syntactic-context on FSF Emacs	David Aspinall	2000-09-18
\|
*	Set version tag for new release.	David Aspinall	2000-09-18
\|
*	added proof-retract-current-goal	Christophe Raffalli	2000-09-15
\|
*	added proper call to proof-remove-comment before matching with ↵	Christophe Raffalli	2000-09-15
\| \| \| \|	proof-xxx-with-hole-regexp
*	removed some debugging messages I forgot	Christophe Raffalli	2000-09-15
\|
*	added function string-search and proof-remove-comment	Christophe Raffalli	2000-09-15
\|
*	Set version tag for new release.	David Aspinall	2000-09-14
\|
*	Remove FIXME.	David Aspinall	2000-09-14
\|
*	Improved docstrings, comments.	David Aspinall	2000-09-14
\|
*	capitalize xs-lang-name;	Makarius Wenzel	2000-09-13
\|
*	Set version tag for new release.	David Aspinall	2000-09-13
\|
*	Docstring changes for printed docs.	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
\|
*	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.
*	Set version tag for new release.	David Aspinall	2000-09-12
\|
*	Remove shell important setting from script ones.	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
\|
*	Set version tag for new release.	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)
*	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
\|
*	Set version tag for new release.	David Aspinall	2000-08-29
\|