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-script.el
Commit message (
Expand
)
Author
Age
*
Added proof-shell-pre-interrupt-hook
David Aspinall
2000-02-09
*
Docstring
David Aspinall
1999-11-24
*
Fixed extending queue bug. Many docstring improvements
David Aspinall
1999-11-24
*
Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.
David Aspinall
1999-11-23
*
Renamed proof-auto-delete-windows -> proof-delete-empty-windows
David Aspinall
1999-11-22
*
Improved nothing to do error message
David Aspinall
1999-11-22
*
Typo
David Aspinall
1999-11-19
*
Fix for proof-script-new-command-advance.
David Aspinall
1999-11-19
*
Removed comment.
David Aspinall
1999-11-18
*
Changed eval-when-compile to eval-when (compile).
David Aspinall
1999-11-18
*
Fix mouse bindings to be different for FSF/XEmacs versions.
David Aspinall
1999-11-17
*
Fix typo
David Aspinall
1999-11-17
*
Add Function Menu to menu. Fix a few bugs/probs shown up by byte-compiling.
David Aspinall
1999-11-17
*
Not strictly necessary to set proof-goal-command-regexp
David Aspinall
1999-11-16
*
Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script
David Aspinall
1999-11-16
*
Fix for proof-minibuffer-cmd. Remove old keybindings.
David Aspinall
1999-11-16
*
Fix for retraction order with auto-multiple-files.
David Aspinall
1999-11-16
*
Fixed mistake in function names. Tidied menus a bit
David Aspinall
1999-11-15
*
Fixes for FSF overlay obscurity.
David Aspinall
1999-11-15
*
Reorganization of user-level commands, code moved from proof-toolbar.el
David Aspinall
1999-11-15
*
Reorganization and cleanup of key-bindings.
David Aspinall
1999-11-15
*
Fixes for proof-goto-commmand-{end,start}. Former new function
David Aspinall
1999-11-14
*
Many robustness improvements for error and interrupt handling:
David Aspinall
1999-11-14
*
proof-nested-goals-allowed -> proof-completed-proof-behaviour
David Aspinall
1999-11-14
*
Beginnings of improved version of goal..no save regions.
David Aspinall
1999-11-13
*
Fixes for Isabelle in case theory file is visited before script file.
David Aspinall
1999-11-12
*
Next round of fixups for font-lock and x-symbol.
David Aspinall
1999-11-11
*
Extensive fixes for x-symbol and font-lock.
David Aspinall
1999-11-11
*
Added proof-help command to help menu.
David Aspinall
1999-11-11
*
Added new command proof-goto-point, new default binding for C-c RET.
David Aspinall
1999-11-11
*
Added some desparate patches for dead extent problem proof-done-advancing
David Aspinall
1999-11-10
*
Reorganized user options. Special new code for boolean settings.
David Aspinall
1999-11-10
*
fixed indentation bug: use proof-looking-at (proof-case-fold-search);
Makarius Wenzel
1999-11-10
*
Moved proof-file-truename, proof-file-to-buffer, to proof.el
David Aspinall
1999-11-10
*
Generic support for x-symbol tuned up.
David Aspinall
1999-11-09
*
Bug again in call-interactively in proof-toggle-active-scripting.
David Aspinall
1999-11-09
*
Bug in proof-toggle-active-scripting interactive calling.
David Aspinall
1999-11-09
*
Arrange for activate-scripting to not block for interactive calls.
David Aspinall
1999-11-09
*
proof-prf-string -> proof-showproof-command
David Aspinall
1999-11-08
*
Comments/messages.
David Aspinall
1999-11-08
*
Copyright messages updated.
David Aspinall
1999-11-08
*
tuned msg;
Makarius Wenzel
1999-10-27
*
Implementation of proof-auto-multiple-files.
David Aspinall
1999-10-25
*
Added symmetric proof-shell-inform-file-retracted-cmd setting to correspond
David Aspinall
1999-10-21
*
Changed name of proof-shell-cd-cmd for uniformity.
David Aspinall
1999-10-21
*
Changed name to proof-shell-inform-file-processed-cmd
David Aspinall
1999-10-21
*
Added proof-shell-inform-file-processed-command setting.
David Aspinall
1999-10-21
*
Comments in proof-complete-buffer-atomic.
David Aspinall
1999-10-20
*
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only c...
David Aspinall
1999-10-19
*
Missing cursor move
David Aspinall
1999-10-18
[next]