| Age | Commit message (Collapse) | Author |
|---|
|
|
|
*abbreviated* form of file-truename!
|
|
|
|
|
|
Scrapped proof-shell-exit-hook.
Added proof-shell-quit-cmdd, proof-shell-restart-comd
Fancier Scripting indicator for active scripting buffer.
|
|
Replaced proof-script-buffer-list with proof-script-buffer.
The list was causing too much confusion and nasty bugs used with
Isabelle multiple files.
Implemented proof-script-buffers and proof-restart-all-buffers,
other functions.
|
|
after all. It can get moved by the display functions.
|
|
selected frame. Changed default proof-auto-delete-windows value
back to t.
|
|
|
|
|
|
|
|
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.
|
|
Patched (old bug?) in proof-response-buffer-display, how did it
come back?
|
|
|
|
|
|
fix odd arithmetic error during byte compile.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
o Allowed proof-shell-process-file function to return nil
o Fixed bug (missing declaration of 'file') in
proof-shell-process-urgent-message
|
|
|
|
|
|
|
|
o fixed bug in ...-check-...
|
|
o Fixed bug in proof-toolbar-next
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
