| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
allows using a span attribute to detect goal commands.
I think I modified all modes accordingly.
|
|
|
|
|
|
|
|
buffer switched.
|
|
|
|
to support multiple files in Coq.
Move some keybindings to proof-universal-keys (esp. C-c C-l).
|
|
longer inherited
|
|
of proof-activate-scripting.
|
|
for Isabelle.
|
|
|
|
|
|
|
|
|
|
end-of-line terminated comments.
|
|
end-of-line comments.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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
|
