| Age | Commit message (Collapse) | Author |
|---|
|
|
|
'horizontal 'vertical 'smart policy.
|
|
immediately when opening a file.
|
|
|
|
|
|
|
|
|
|
who read or edit by waving mouse at text
|
|
Untested, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/308
|
|
The following points are implemented already:
- recompile either via an external command (make) or let
ProofGeneral handle everything internally
- complete dependency tracking and recompilation for coq files in
internal mode
- support for extending the LoadPath: does almost work, even if
specified file-locally
- move back to clean state if recompilation fails
There are the following known problems:
- coq-load-path extensions are not retracted
- fails on partially qualified library names
|
|
|
|
prover specific.
|
|
(i.e., automatic preview of next command)
|
|
feature)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
