| Commit message (Collapse) | Author | Age |
|
|
|
| |
string-match instead).
|
| |
|
|
|
|
| |
font-lock-preprocessor-face in FSF Emacs.
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-xxx-with-hole-regexp
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-config to allow easier configuration.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
safe default of empty string (now will have error msgs from filter)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|