Added more documentation.

Made new proof-config customization group for variables supposed
to be configured by prover specific settings (as opposed to
user options, which are set by users).  This adds type information
and useful facility for testing new instances of PG.  Similarly
added proof-shell customization group.

Removed (what I assume to be) defunct variables
proof-post-shell-exit-hook, proof-shell-echo-input.

Made deflocal do 'setq-default', not 'setq'. (I consider this a
bugfix, but no calls to deflocal use other than nil value anyway, so
this bug had no effect.)

Added code for displaying splash screen.

Attempted fix for proof-issue-new-command when process inactive.

Improved functions proof-script-new-command-advance,
proof-script-next-command-advance, called from
proof-assert-next-command.

0 files changed, 0 insertions, 0 deletions