proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Parse comments also in proof-script-generic-parse-sexp	David Aspinall	2000-09-29
\|
*	Non existent get-window-buffer -> get-buffer-window (how did that get through?)	David Aspinall	2000-09-29
\|
*	Default for proof-comment-end that doesn't cause looping in searching for ↵	David Aspinall	2000-09-29
\| \| \| \|	comment end.
*	Fix comment.	David Aspinall	2000-09-28
\|
*	Set version tag for new release.	David Aspinall	2000-09-28
\|
*	Added proof-shell-strip-crs-from-input, and unadvertised ↵	David Aspinall	2000-09-28
\| \| \| \|	proof-script-fly-past-comments
*	Added fly past comments to quick opts menu when new parsing mechanism active.	David Aspinall	2000-09-28
\|
*	Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. ↵	David Aspinall	2000-09-28
\| \| \| \|	Tweaks to proof-script-generic-parse-cmdstart. Combine fly-past and coelesce comment options. Use proof-string-match-safe in generic-goal-command-p, to avoid error in Twelf.
*	Added proof-shell-strip-crs-from-input.	David Aspinall	2000-09-28
\|
*	Set version tag for new release.	David Aspinall	2000-09-27
\|
*	Fix bug email address to bugs@proofgeneral.org	David Aspinall	2000-09-27
\|
*	Added ACL2	David Aspinall	2000-09-27
\|
*	Added yet another new parsing mechanism, bit more rational this time.	David Aspinall	2000-09-27
\|
*	Set version tag for new release.	David Aspinall	2000-09-26
\|
*	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
\|