| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added example special display regexps.
Note about Isabelle PG clashing with sml-mode.
|
|
|
|
|
|
|
|
optimised use_thy to report only on files newly added to db.
|
|
|
|
|
|
|
|
|
|
Added doc for active terminator, proof shell start, stop, and restart.
|
|
|
|
*abbreviated* form of file-truename!
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In proof-shell-handle-error:
Make action list empty to prevent proof shell filter seeing
same error over and over in case user types directly in shell
buffer after an error.
|
|
Made default for proof-window-dedicated be nil because of
problems with multi frame stuff.
|
|
|
|
|
|
|
|
|
|
|
|
|
