| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
spurious warning in Emacs 23.2
|
| |
|
| |
|
| |
|
|
|
|
| |
LEGO messages)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
allows using a span attribute to detect goal commands.
I think I modified all modes accordingly.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Monnier
|
|
|
|
| |
proof-script-comment-{start,end}-regexp.
|
|
|
|
| |
display.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
RPM, where its fixed.
|
| |
|
| |
|
| |
|