| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
Removed superfluous optional 'relaxed' argument from:
proof-shell-invisibile-command,
proof-grab-lock,
proof-start-queue.
|
|
|
|
|
|
|
|
|
|
|
