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
*
Comments
David Aspinall
2002-01-16
*
Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook
David Aspinall
2002-01-16
*
Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp
David Aspinall
2002-01-16
*
Remove double setting, leave test setting in.
David Aspinall
2001-12-11
*
Added proof-trace-output-fontify-enable
David Aspinall
2001-12-11
*
Toolbar allowed in GNU Emacs 21
David Aspinall
2001-12-11
*
fixed spelling;
Makarius Wenzel
2001-09-26
*
Fix error in docs of stop-silent-command, and name of pre-shell-start-hook.
David Aspinall
2001-09-24
*
Add experimental features setting
David Aspinall
2001-09-04
*
Change colour of locked region.
David Aspinall
2001-09-03
*
Added proof-shell-spill-output-regexp
David Aspinall
2001-09-03
*
Add new proof-mouse-highlight-face to use instead of default. Fix dependency...
David Aspinall
2001-08-31
*
Add faces for theorem dependencies.
David Aspinall
2001-08-31
*
added proof-script-integral-proofs ("Whether the complete text after a
Makarius Wenzel
2001-08-30
*
Add hide/show commands instead of make proofs visible
David Aspinall
2001-08-16
*
Moved splash settings and basic custom groups elsewhere
David Aspinall
2001-05-16
*
Copyright date updated
David Aspinall
2001-05-08
*
Fix docstring
David Aspinall
2001-03-20
*
Add proof-disappearing-proofs
David Aspinall
2000-12-14
*
Added proof-shell-match-pgip-cmd
David Aspinall
2000-11-24
*
*** empty log message ***
Christophe Raffalli
2000-10-30
*
Default for proof-comment-end that doesn't cause looping in searching for com...
David Aspinall
2000-09-29
*
Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...
David Aspinall
2000-09-28
*
Added yet another new parsing mechanism, bit more rational this time.
David Aspinall
2000-09-27
*
Fix Proof General web page to www.proofgeneral.org.
David Aspinall
2000-09-26
*
Newlines.
David Aspinall
2000-09-21
*
Disable toolbar enablers on win32.
David Aspinall
2000-09-20
*
Improved docstrings, comments.
David Aspinall
2000-09-14
*
Docstring changes for printed docs.
David Aspinall
2000-09-13
*
Order change
David Aspinall
2000-09-13
*
Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...
David Aspinall
2000-09-13
*
Docs for proof-shell-eager-annotation-start stuff
David Aspinall
2000-09-12
*
Added proof-shell-annotated-prompt-regexp to important settings, removed safe...
David Aspinall
2000-09-11
*
Rearrangement
David Aspinall
2000-09-08
*
Added proof-shell-auto-terminate-commands
David Aspinall
2000-08-29
*
Added proof-shell-set-elisp-variable-regexp
David Aspinall
2000-08-28
*
changes to add theorem dependencies recording in spans
David Aspinall
2000-07-19
*
Added back defconsts for face names needed for FSF Emacs.
David Aspinall
2000-06-22
*
proof-script-next-entity-regexps: admit list of MATCHNOS;
Makarius Wenzel
2000-06-16
*
Added pgcustom x-symbol-language to allow different language name than proof ...
David Aspinall
2000-06-16
*
Improved some docstrings.
David Aspinall
2000-06-15
*
settings for new indentation setup;
Makarius Wenzel
2000-06-08
*
Tweaked some docstrings.
David Aspinall
2000-06-05
*
Use proof-running-on-XEmacs variable.
David Aspinall
2000-06-01
*
Added proof-comment-start-regexp, proof-commend-end-regexp.
David Aspinall
2000-06-01
*
Added proof-script-command-start-regexp. Updated docstrings to reflect that ...
David Aspinall
2000-05-30
*
Added configuration variables for proof assistant settings. Docstring for fa...
David Aspinall
2000-05-29
*
Rename proof-defass-custom -> defpgcustom.
David Aspinall
2000-05-26
*
Temp hacks to get doc to build before proper commits.
David Aspinall
2000-05-25
*
Made x-symbol-enable be individual option.
David Aspinall
2000-05-25
[next]