| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
menu in place of output highlight setting.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
off minor modes in buffers automatically. Now the PG setting controls
the "default global for PG buffers" for each of these. The menu
checkbox simply displays the current minor mode status. When this
is changed, the PG global mode follows suit. We do not try to
apply the change to all PG buffers (30 minutes of fontification!).
|
|
|
|
|
|
|
|
|
|
|
|
Monnier
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
autosave case.
|
|
|
|
|
|
|
|
proof-script-comment-{start,end}-regexp.
|
|
|
|
|
|
|
|
|
|
|
|
rather than always retracting.
|
|
|
|
|
|
|
|
proof-nested-goals-history.
|
|
for all retraction.
|
|
|
