| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
functions.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
do the job.
|
|
|
|
Make switching on/off possibly more smooth by cleaning response buffer
and sending show proof command to proof assistant.
Also, when turning on/off run proof-x-symbol-mode in all buffers
in proof-xsym-extra-modes. Nice for Isabelle theories.
|
|
add function for new multiple frames user option.
Don't display "done" in goals buffer (may never happen anyway)
Remove code for response buffer erasing.
Clean some comments.
|
|
Made a new menu for quick options editing, put it in shared menu.
Added options for multiple frames, auto delete windows.
Toolbar :active is now more sringent, must be in script buffer.
Use proof-try-require to load func-menu in mode definition,
solving problem of func-menu configuration before it's loaded.
Cleaned up some comments.
|
|
Moved -output-fontify-toggle away.
Made proof-switch-to-buffer more robust
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
