| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
Added documentation for proof-auto-delete-windows.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Reimplemented configuration for fume-menu.
Now works for named goals, named saves, and (e.g. lego) both!
Removed some FIXME's.
|
|
the first one sets the *saved* value for variables, rather
than default values.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
to tms but he said he wouldn't get around to it)
|
|
|
|
Disabled by default. May be activated by particular proof assistants
if they feel confident about it. I don't.
Made proof-indent be autoloaded as needed. Lets pray it won't be.
|
|
|
|
|
|
|
|
Side effect is that it's default value of nil for FSF Emacs avoids the
font lock problem with span-read-only for FSF Emacs.
XEmacs does not have the warning message implemented yet.
|
|
|
|
|
|
|
|
|
|
|
|
|
