diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-12 22:33:22 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2015-02-12 22:34:07 +0100 |
| commit | 7d06e602bea9e7a2c98e1c6badab3a667714b5c8 (patch) | |
| tree | 62409528606ad9df107cf28260f8da8a7fd5b6ba /CHANGES | |
| parent | 154bb6a5134c35caea187b83334c098dbadb4e48 (diff) | |
Fix typos about .vio files (thanks Arthur for spotting them)
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -292,7 +292,7 @@ Tools added to the load path. (Same behavior as with coq/user-contrib.) - coqdep accepts a -dumpgraph option generating a dot file. - Makefiles generated through coq_makefile have three new targets "quick" - "checkproof" and "vio2vo", allowing respectively to asynchronously compile + "checkproofs" and "vio2vo", allowing respectively to asynchronously compile the files without playing the proof scripts, asynchronously checking that the quickly generated proofs are correct and generating the object files from the quickly generated proofs. |