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
*
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
*
Typo
David Aspinall
1999-10-06
*
settings for (de)activating scripting, and proof-tidy-response.
David Aspinall
1999-10-06
*
proof-try-command is deprecated
David Aspinall
1999-10-06
*
Added proof-retract-buffer symmetric to proof-process-buffer.
David Aspinall
1999-10-06
*
Fixup name changes
David Aspinall
1999-10-01
*
Renamed some configuration variables for uniformity, see CHANGES.
David Aspinall
1999-10-01
*
Unhappily added proof-shell-leave-annotations-in-output hack.
David Aspinall
1999-09-29
*
Added proof-script-command-separator. Needs work.
David Aspinall
1999-09-29
*
Docstrings
David Aspinall
1999-09-23
*
Added proof-find-theorems-command setting.
David Aspinall
1999-09-23
*
Docstrings
David Aspinall
1999-09-22
*
proof-completed-regexp: match number 1 is response text;
Makarius Wenzel
1999-09-22
*
Improved docstrings for regexp vars.
David Aspinall
1999-09-21
*
Added proof-state-change-hook for toolbar enabler refreshing.
David Aspinall
1999-09-21
*
Removed transparent gif from splash screen because XEmacs can't
David Aspinall
1999-09-13
*
docstring improvements for proof-guess-command-name
David Aspinall
1999-09-13
*
Fix for toolbar disable for FSF Emacs.
David Aspinall
1999-08-23
*
Change of image
David Aspinall
1999-06-24
*
Docstring
David Aspinall
1999-06-18
*
tactics-name-face
Patrick Loiseleur
1999-06-18
*
Docstring fixes.
David Aspinall
1999-06-15
*
Added proof-tactics-name-face
Patrick Loiseleur
1999-06-14
*
Cleaned up docstrings
David Aspinall
1999-06-07
*
added proof-string-start-regexp, proof-string-end-regexp;
Makarius Wenzel
1999-05-27
*
added proof-really-save-command-p to support
Makarius Wenzel
1999-05-25
*
I've added the custom option 'prog-name-guess' in the generic part and
Patrick Loiseleur
1999-05-17
*
Idea for proof-auto-retract, notes about proof-strict-read-only
David Aspinall
1999-03-08
*
Improved docstring
David Aspinall
1999-02-01
*
Added proof-case-fold-search
David Aspinall
1999-02-01
*
Added proof-assistant-symbol
David Aspinall
1998-12-18
*
Fixed default for proof-shell-quit-cmd.
David Aspinall
1998-12-16
*
Docstring fixes
David Aspinall
1998-12-15
*
made many minor changes to the documentation
Thomas Kleymann
1998-12-15
*
Removed proof-shell-preprocess-command. Improved docstring for proof-shell-i...
David Aspinall
1998-12-11
*
Changed name of proof-toolbar-inhibit variable for uniformity.
David Aspinall
1998-12-10
*
Added proof-shell-preprocess-command for Paul Callaghan.
David Aspinall
1998-12-07
*
Added proof-shell-clear-goals-regexp.
David Aspinall
1998-11-26
*
Warning in proof-shell-insert-hook docstrings.
David Aspinall
1998-11-26
*
Suggestions for using proof-pre-shell-start-hook removed. Minor typos/fixes.
David Aspinall
1998-11-26
*
Docstring improvements.
David Aspinall
1998-11-25
*
Made default proof-auto-delete-windows=nil again, it's too unpredictable.
David Aspinall
1998-11-25
[next]