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
...
*
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
*
Changed minibuffer tag to have name of prover instead of Proof
David Aspinall
1998-10-20
*
Bug fixes for multiple file code, da/tms.
David Aspinall
1998-10-19
*
support for nested goals is now restricted to Coq
Thomas Kleymann
1998-10-18
*
Reimplemented multiple file proof developments
Thomas Kleymann
1998-10-18
*
Disabled font-lock in process buffer
Thomas Kleymann
1998-10-13
*
Added compatibility hack for customize-menu-create.
David Aspinall
1998-10-12
*
Added sensible error message for attempting undo on empty locked region.
David Aspinall
1998-10-12
*
Made defface's work for dark background Emacsen (default for FSF on Linux).
David Aspinall
1998-10-12
*
Dox. Made proof-shell-exec-loop not complain about empty action list.
David Aspinall
1998-10-12
*
Splash screen tries gif if jpeg not available. Using hack by tms
David Aspinall
1998-10-12
*
Fixed typo.
David Aspinall
1998-10-12
*
Toolbar featurep. Separate Internals menu. Doc strings.
David Aspinall
1998-10-12
*
Customize group name: prover-config, not proof-config.
David Aspinall
1998-10-09
*
Minor bug fixes, code, doc improvements.
David Aspinall
1998-10-09
*
Changed binding for C-c RET
David Aspinall
1998-10-08
*
Added more documentation.
David Aspinall
1998-10-07
*
da> BTW, the menus have disappeared!
Thomas Kleymann
1998-10-05
*
Moved menu definition back into proof-config-done.
David Aspinall
1998-10-02
*
added LEGO support for proof-goal-command and proof-save-command
Thomas Kleymann
1998-10-02
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
[prev]
[next]