| 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;
|
|
|
