diff options
| author | Assia Mahboubi | 2015-12-04 18:47:38 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-12-04 18:47:38 +0100 |
| commit | c3cd260a6d6a2bc63d70cd404cc569c5494619c3 (patch) | |
| tree | ad085318cc3ecfe1dd75fc932725a93158e2886e /etc | |
| parent | 2e15ff9c9823560ddc6b7c42ee76f72a11ca7031 (diff) | |
Trying a better layout of hyperlinks on github
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ANNOUNCE-1.6.md | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/etc/ANNOUNCE-1.6.md b/etc/ANNOUNCE-1.6.md index dd67992..4f5b1a4 100644 --- a/etc/ANNOUNCE-1.6.md +++ b/etc/ANNOUNCE-1.6.md @@ -68,12 +68,8 @@ Note that the From directive has effect only in Coq 8.5. Coq 8.4 ignores it and searches for files in all known paths: hence beware of the possible name collisions. -The tarball can be download at the following URL: +The tarball can be download at http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz - http://ssr.msr-inria.inria.fr/FTP/mathcomp-1.6.tar.gz - -The html documentation of the theory files can be browsed at: - - http://ssr.msr-inria.inria.fr/doc/mathcomp-1.6/ +The html documentation of the theory files can be browsed at http://ssr.msr-inria.inria.fr/doc/mathcomp-1.6/ -- The Mathematical Components team |