| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
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.
|
|
Simplified many of the toolbar functions to be aliases, and remove
explicit check on enabler condition [although may want to add this
back in uniformly to allow toolbar buttons to be called elsewhere?].
|
|
|
|
|
|
Comments and variable ordering tweaked.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
display it nicely.
|
|
|
|
Makefile.devel: fixed fakerelease
doc/Makefile: Don't attempt page rearrangement if dviutils not present
|
|
A fixed version of Patrick's earlier patch.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Check that there is active scripting buffer, in Isabelle there might not be.
|
|
|
|
|
|
(interrupts may appear like error messages in Isabelle/Isar);
|
|
|
|
|
|
|
|
|
|
case of proof-prog-name="isabelle", for example.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
