| Commit message (Collapse) | Author | Age |
|
|
|
| |
This fixes a bunch of compilation warnings
|
|
|
|
|
| |
Compilation used to run in a separate Emacs process for each file, but that's not
what happens when installing PG with package.el.
|
| |
|
| |
|
| |
|
|
|
|
| |
format.
|
|
|
|
| |
proof-deactivate-scripting
|
| |
|
| |
|
| |
|
|
|
|
| |
buffer
|
| |
|
|
|
|
| |
compile warning
|
|
|
|
| |
(see Trac #341)
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-shell-interrupts-after-commit.
|
| |
|
|
|
|
| |
[experimental/temporary].
|
| |
|
|
|
|
| |
terrible
|
| |
|
|
|
|
| |
such as imenu.
|
|
|
|
| |
spurious warning in Emacs 23.2
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Follow Upper Case Convention for menu entries
Remove duplicate menu entry: Commands -> set isabelle
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
pre-processing of commands when they're queued from script
|
| |
|
|
|
|
| |
LEGO messages)
|
| |
|
|
|
|
|
| |
the prover-specific menu entry automatically. Fix compiler warning
with a defvar.
|
| |
|
| |
|
|
|
|
| |
isar-keywords-name: fix custom group
|
|
|
|
| |
Fix a compile warning.
|
| |
|
| |
|
| |
|
| |
|