diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-08-30 14:58:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-08-30 14:58:04 +0000 |
| commit | dcc52a5579405d15f4d75e9e6d61a13dabd7e9f6 (patch) | |
| tree | ff709aba7ffd85087b2b32dd19d34f3383b5a7dd | |
| parent | 0b8b1d98d4e447715c9a190e1e826396f190487d (diff) | |
Clarify 6.3.1 for multi file
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -63,7 +63,7 @@ Compatibility for V7 added. Experimental enhancements to handling of compiled files and - file dependency: + file dependency. (Only tested with Coq 6.3.1) 1) At the end of scripting foo.v (i.e. when activing scripting is switched off), "Reset Initial. Compile Module <foo>" is |