| Commit message (Collapse) | Author | Age |
... | |
| |
|
|
|
|
| |
RPM, where its fixed.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-shell-eager-annotation-start-length.
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Patch for more flexible handling of closing goal...save regions
after proof has been completed.
|
| |
|
| |
|
|
|
|
| |
Added proof-unnamed-theorem-name.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Would be nice to add more theorems to compare scripts in different
systems.
|
|
|
|
| |
is less confusing);
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-goals-buffer)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|