diff options
| author | Enrico | 2015-12-15 10:23:40 +0100 |
|---|---|---|
| committer | Enrico | 2015-12-15 10:23:40 +0100 |
| commit | 89a285071f885fc6a22685a066230142757c8633 (patch) | |
| tree | 6fd6881ec970183f848ad27c6927413ff09a48b8 /etc/ANNOUNCE-1.6.md | |
| parent | 8b05eee2880206196ef9446e4e31fadc504d34c0 (diff) | |
Update ANNOUNCE-1.6.md
Diffstat (limited to 'etc/ANNOUNCE-1.6.md')
| -rw-r--r-- | etc/ANNOUNCE-1.6.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/ANNOUNCE-1.6.md b/etc/ANNOUNCE-1.6.md index 4b965a1..5730554 100644 --- a/etc/ANNOUNCE-1.6.md +++ b/etc/ANNOUNCE-1.6.md @@ -44,14 +44,14 @@ entire component. For example the command Require Import all_ssreflect. -loads all the theory files in the contained in the 'ssreflect' +loads all the theory files contained in the 'ssreflect' component. Note that this modularity comes at the price of a possible incompatibility for users of previous version of the Mathematical Components library, due to the change of logical/physical paths implied by the reorganization of the library. See the installation -notes for more on this issue an a suggested migration scheme. +notes for more on this issue and a migration scheme. The tarball can be download at http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz |