| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
new parsing functions.
|
|
|
|
|
|
Yet another annoyance with FSF.
|
|
|
|
replaced spurious re-search-forward by proof-re-search-forward;
proof-script-important-settings: commented out proof-goal-with-hole-regexp,
proof-save-with-hole-regexp;
|
|
|
|
|
|
assistant
|
|
|
|
|
|
Simplified face configuration by using auxiliary macro.
Now also works for gtk-xemacs.
Experimented with removing spurious face alias constants.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
removed proof-indent-commands-regexp;
|
|
|
|
|
|
added proof-no-regexp;
|
|
function.
Bind C-c C-l to proof-display-some-buffers, add to buffer menu.
Move start/exit to proof assistant specific menu.
Added proof-next-error to menu.
|
|
|
|
Added proof-shell-next-error-regexp and friends.
Bind proof-shell-next-error in proof-universal-keys.
|
|
proof-shell-invisible-command: add terminator if it seems to be
missing (after all: it's useful for users with C-c C-v).
|
|
|
|
|
