| Age | Commit message (Collapse) | Author |
|---|
|
removed proof-indent-commands-regexp;
|
|
added proof-no-regexp;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-filename-escapes, and always apply for filename substn.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
is less confusing);
|
|
|
|
|
|
Reimplemented configuration for fume-menu.
Now works for named goals, named saves, and (e.g. lego) both!
Removed some FIXME's.
|
|
|
|
o removed hhg tags in todo
o fixed font-lock for FSF Emacs 20.2
o ensured that goals buffer is updated for longer queues
o fixed a bug in proof-universal-keys-only-mode
|
|
|
|
Removed font-lock-<newface> with proof-<newface> so we
know where things come from and won't break future font locks.
|
|
|
|
These are no longer displayed in the *GOALS* buffer.
|
|
|
|
|
|
|
