| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
Made file FSF GNU Emacs compatible.
|
|
proof-menu.el. Always call proof-toolbar-setup.
|
|
renamed it [to reserve -p only for functions (predicates)].
|
|
|
|
|
|
Done. :-)
|
|
|
|
retracted by prover.
|
|
|
|
|
|
|
|
o removed hhg tags in todo
o fixed font-lock for FSF Emacs 20.2
o ensured that goals buffer is updated for longer queues
o fixed a bug in proof-universal-keys-only-mode
|
|
reserved for goals.
|
|
|
|
make code more robust
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Patched (old bug?) in proof-response-buffer-display, how did it
come back?
|
|
|
|
|
|
it. Removed require on proof-shell from proof-toolbar.
|
|
groups in proof-config.
|
|
|
|
|
|
|
|
|
|
fix odd arithmetic error during byte compile.
|
|
|
|
|
|
buffers, we invoke (save-some-buffers). Furthermore, we warn the user
if modified buffers have been read in by the proof assistant.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
now seems to correctly observe all messages which pass through.
|
|
|
