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-config.el
Commit message (
Expand
)
Author
Age
*
Detect default for proof-shell-process-connection-type by running uname
David Aspinall
2000-03-09
*
Added proof-shell-process-connection-type.
David Aspinall
2000-03-09
*
New canonical URL for PG.
David Aspinall
2000-02-15
*
Added proof-shell-pre-interrupt-hook
David Aspinall
2000-02-09
*
Typos.
David Aspinall
1999-11-26
*
Improved docstrings. Generalised proof-set-bool -> proof-set-value.
David Aspinall
1999-11-24
*
Many fixes to docstrings and comments. Added proof-analyse-using-stack here.
David Aspinall
1999-11-24
*
docstring improvement
David Aspinall
1999-11-23
*
Renamed proof-auto-delete-windows -> proof-delete-empty-windows
David Aspinall
1999-11-22
*
proof-shell-done-invisible -> proof-done-invisible again
David Aspinall
1999-11-22
*
Added curious comment
David Aspinall
1999-11-22
*
Fix a couple of group names, and comments at top of file.
David Aspinall
1999-11-22
*
docstring
David Aspinall
1999-11-19
*
Removed spurious defn of proof-config.el
David Aspinall
1999-11-19
*
Added user option for multiple frames.
David Aspinall
1999-11-18
*
Name change proof-window-dedicated -> proof-dont-switch-windows.
David Aspinall
1999-11-17
*
Fix type of proof-completed-proof-behaviour.
David Aspinall
1999-11-16
*
Turn debug messages off by default.
David Aspinall
1999-11-16
*
New settings for generic count-undos code:
David Aspinall
1999-11-16
*
Splash time=2, trying to unify FSF and XEmacs.
David Aspinall
1999-11-15
*
Name changes: proof-toolbar-follow-mode -> proof-follow-mode, proof-execute-m...
David Aspinall
1999-11-15
*
Tuned splash screen for FSF emacs. Added proof-font-lock-zap-commas
David Aspinall
1999-11-15
*
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
*
Added new face for debug messages
David Aspinall
1999-11-13
*
Added ACTION to proof-shell-insert so proof-shell-insert-hook can test class ...
David Aspinall
1999-11-12
*
Changed colour of proof-locked-face
David Aspinall
1999-11-12
*
Added option for sending qed output to goals buffer for Isabelle
David Aspinall
1999-11-11
*
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
*
Reorganized user options. Special new code for boolean settings.
David Aspinall
1999-11-10
*
Arrange for activate-scripting to not block for interactive calls.
David Aspinall
1999-11-09
*
docstring
David Aspinall
1999-11-08
*
proof-prf-string -> proof-showproof-command
David Aspinall
1999-11-08
*
New section for x-symbol. New custom group for user options.
David Aspinall
1999-11-08
*
Added proof-auto-multiple-files. Docstring addition.
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
*
Docstring improvements
David Aspinall
1999-10-15
*
Added message for reporting problems to splash screen.
David Aspinall
1999-10-12
*
docstring magic
David Aspinall
1999-10-12
*
docstring improved
David Aspinall
1999-10-12
*
Added proof-toolbar-use-enablers.
David Aspinall
1999-10-12
*
Speed optimizations, part I.
David Aspinall
1999-10-06
*
More improvements/fixes for closing unfinished proofs.
David Aspinall
1999-10-06
*
docstring improvements
David Aspinall
1999-10-06
*
Fixed coalescing of error messages: all error messages from
David Aspinall
1999-10-06
*
Docstrings. Added proof-nested-goals-allowed.
David Aspinall
1999-10-06
[next]