diff options
| author | David Aspinall | 2011-05-16 11:45:25 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-05-16 11:45:25 +0000 |
| commit | 4f2af4bbf4ebc0c0ec3113c679123e77c74bfc3a (patch) | |
| tree | c3c48e71626a331e9ae4aac9546f6453b9a449de | |
| parent | fa48979c5db352be0dd77f2e23ece8f89f204d3f (diff) | |
Ref to Coq chapter in PG manual
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -27,7 +27,7 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. scripting Require commands, either internally or externally (by running Make). Additionally, it will automatically retract buffers when switching to new files, to model separate compilation - properly. For more details, see XXXX. + properly. For details, see the Coq chapter in the Proof General manual. Addition by Hendrik Tews. *** Fixes for Coq 8.3 |