| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
first.
|
|
|
|
| |
part of the previoous one (missused cvs).
|
|
|
|
| |
in another color). Reported by Assia Mahboubi.
|
| |
|
|
|
|
| |
for tacticals (asked by Assi Mahboubi).
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
proof-shell-unicode set to nil by default because of xemacs which
needs a library for utf-8.
|
| |
|
|
|
|
| |
disappearing.
|
|
|
|
| |
and make spans agregation ok).
|
| |
|
| |
|
| |
|
|
|
|
| |
hypothesis as possible.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
much as possible.
|
| |
|
| |
|
|
|
|
| |
generic on that. Currently I use proof-shell-process-output-system-specific.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|