index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof.el
Commit message (
Expand
)
Author
Age
*
Fix for toolbar disable for FSF Emacs.
David Aspinall
1999-08-23
*
proof-version -> proof-general-version
David Aspinall
1999-08-23
*
Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.
David Aspinall
1999-02-22
*
Beginnings of x-symbol support.
David Aspinall
1998-12-18
*
Improved documentation of proof-included-files-list.
David Aspinall
1998-12-15
*
Reordered require of cl. Changed deflocal definition.
David Aspinall
1998-12-14
*
Tweaked headings for bug report
David Aspinall
1998-12-11
*
Added proof-submit-bug-report
David Aspinall
1998-12-11
*
Made point stay at top of goals buffer and bottom of response buffer
David Aspinall
1998-12-10
*
Format fix
David Aspinall
1998-11-26
*
FSF Emacs fix for buffer-file-truename, which is the
David Aspinall
1998-11-25
*
Replaced proof-pbp-buffer with proof-goals-buffer.
David Aspinall
1998-11-25
*
Note about window dedicated problem.
David Aspinall
1998-11-25
*
Reimplemented functions to shut down and restart proof process.
David Aspinall
1998-11-20
*
BIG CHANGES -- SORRY!
David Aspinall
1998-11-20
*
proof-response-buffer-display: Move point to the end of the buffer
David Aspinall
1998-11-18
*
Improved proof-clean-buffer. Now only deletes windows in currently
David Aspinall
1998-11-18
*
Bug fix and adjustments in proof-response-buffer-display
David Aspinall
1998-11-18
*
Added proof-auto-delete-windows user option.
David Aspinall
1998-11-12
*
Added acknowledgements to doc. Removed from code.
David Aspinall
1998-11-09
*
Promoted proof-window-dedicated to be a user option, and
David Aspinall
1998-11-03
*
A* Fix display handling problems (tms, all week)
Thomas Kleymann
1998-11-03
*
Proof General no longer moves point in the current-buffer
Thomas Kleymann
1998-11-02
*
Quick fix for multiple file problem when current scripting buffer is retracte...
David Aspinall
1998-11-02
*
Proof General no longer changes selected window/buffer under your feet.
Thomas Kleymann
1998-11-02
*
fixed minor bugs
Thomas Kleymann
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
*
Fixed requires for FSF Emacs.
David Aspinall
1998-10-29
*
Added autoload for proof-shell-available-p
David Aspinall
1998-10-28
*
rearranged code to avoid compiler warning messages
Thomas Kleymann
1998-10-28
*
Splash screen added back. Put in Xemacs test for noninteractive to
David Aspinall
1998-10-27
*
Fixed up proof-script.el for clean byte compile
David Aspinall
1998-10-27
*
Temp disable splash
David Aspinall
1998-10-27
*
Begun work on clean byte compilation / clarifying interfaces.
David Aspinall
1998-10-27
*
Splash screen now works for FSF
David Aspinall
1998-10-26
*
Separated splash screen code
David Aspinall
1998-10-22
*
Moved user options into proof-config
David Aspinall
1998-10-22
*
Split proof.el into proof-config.el, proof-script.el, proof-shell.el
David Aspinall
1998-10-22
*
renamed fume-match-find-next-function-name
Thomas Kleymann
1998-10-22
*
fixed bug in fume-match-find-next-function-name
Thomas Kleymann
1998-10-22
*
o Replaced proof-register-new-processed-file by -possibly-new- variant.
David Aspinall
1998-10-21
*
no longer displays important messages about file assertion/retraction
Thomas Kleymann
1998-10-21
*
Improved maintainability of code in proof-check-process-available.
David Aspinall
1998-10-21
*
fixed a bug in `proof-check-process-available'
Thomas Kleymann
1998-10-21
*
o made buffer-file-truename even safer
Thomas Kleymann
1998-10-21
*
o Improved error messages
Thomas Kleymann
1998-10-21
*
Added code to register fully processed file. Multiple file fix list updated
David Aspinall
1998-10-21
*
Changed from forcing w3 to using customizable browse-url
David Aspinall
1998-10-21
*
Added proof-activate-scripting-hook and fixed regexps
David Aspinall
1998-10-21
[next]