| Age | Commit message (Collapse) | Author |
|---|
|
hypothesis as possible.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
much as possible.
|
|
|
|
|
|
generic on that. Currently I use proof-shell-process-output-system-specific.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
command invisibly).
|
|
|
|
not well handle by xemacs.
|
|
-emacs-U option.
|
|
<prompt> and </prompt>.
|
|
|
|
special char is used when the -emacs-U is used (with or instead of
-emacs) in cvs version of coq of today 25/9/2006.
|
|
|
|
|
|
work.
|
|
|
|
|
|
|
|
on GNU Emacs). Instanciated proof-parse-function for that...
|
|
|
|
|
|
|
|
|
|
span instead of region.
|
|
|
|
|
|
message. Function work but proof-shell-handle-error-or-interrupt-hook
does not allow to activate the region...
|
|
when xemacs will deal with nested comments). Seems to work, a bit
slow.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Small fixes in docstrings.
|
|
filled it
|
