| Commit message (Collapse) | Author | Age |
| |
|
| |
|
|
|
|
| |
string start)
|
| |
|
| |
|
| |
|
|
|
|
| |
shell filter functions.
|
|
|
|
| |
version to override default.
|
|
|
|
| |
recognition of terminating comment strings.
|
| |
|
| |
|
| |
|
|
|
|
| |
affect the next position to be processed.
|
| |
|
|
|
|
| |
flags to proof action list
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
options
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
experimental features.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
proof-shell-identifier-under-mouse-cmd -> proof-query-identifier-command.
|
| |
|