| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
namespaces fixes.
pre-shell-start-hook: remove this, use default names for modes
proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
