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 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
*
more improvements, docstring fixes.
David Aspinall
1998-11-25
*
Added some more settings, moved some around, improved docstrings.
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
*
Buggy default for proof-mode-for-script
David Aspinall
1998-11-18
*
Improved proof-clean-buffer. Now only deletes windows in currently
David Aspinall
1998-11-18
*
improvements to docstrings and defcustoms.
David Aspinall
1998-11-18
*
In a fit of autocracy, removed proof-tags-support, binding for
David Aspinall
1998-11-12
*
Added proof-auto-delete-windows user option.
David Aspinall
1998-11-12
*
Renamed proof-mode-name -> proof-general-name.
David Aspinall
1998-11-12
*
Removed references of proof-shell-noise-regexp
Thomas Kleymann
1998-11-10
*
Added proof-rsh-command to help complete documentation (was allocated
David Aspinall
1998-11-09
[prev]
[next]