| Age | Commit message (Collapse) | Author |
|---|
|
|
|
of command. (For Plastic)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
buffer. Added a version of it to proof-activate-scripting-hook.
Removed cd from initialization sequence.
Changed prover specifics accordingly.
|
|
the last command are now show. Added extra docs to clarify behaviour.
|
|
|
|
|
|
|
|
|
|
|
|
Now will insert into any buffer at point, or behave as mouse-track-insert
when called over a non-span (or non-vanilla command span).
|
|
C-button1
|
|
|
|
|
|
|
|
|
|
|
|
Fix for FSF Emacs.
|
|
(allowed a bunch of regexps to be unset, safely).
|
|
This results in some flickering of the toolbar (buttons disabled while
region is pink), but is The Right Thing.
Removed "Inferior" from buffer names.
|
|
|
|
A fixed version of Patrick's earlier patch.
|
|
|
|
|
|
|
|
(interrupts may appear like error messages in Isabelle/Isar);
|
|
|
|
case of proof-prog-name="isabelle", for example.
|
|
|
|
|
|
|
