| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alter proof-shell-start-goals-regexp to work in buffer.
|
|
|
|
|
|
|
|
Print Proof -> just Print in context menu.
Temporarily inhibit read only in response buffer for error highlighting.
Reduce time for error highlighting
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Add setting function for dynamic updates.
Add further symbols and explanation of two ways of working.
|
|
|
|
Unset proof-shell-end-goals-regexp.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
options
|
|
|
|
|
|
|
|
|
|
|
|
Monnier.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
sequence, e.g. "\\nat" instead of "\nat";
|
