| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
proof-nested-goals-history.
|
|
for all retraction.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
behaviour for Isar). Isar goal/save regexps dont match up properly.
|
|
|
|
proof-done-advancing.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
proof-shell-truncate-before-error setting.
|
|
determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
pg-insert-output-as-comment.
|
|
proof-x-symbol-decode-region to return new END value after decoding.
|
|
proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
|
|
|
|
|
|
|
|
|
