From c3cd260a6d6a2bc63d70cd404cc569c5494619c3 Mon Sep 17 00:00:00 2001 From: Assia Mahboubi Date: Fri, 4 Dec 2015 18:47:38 +0100 Subject: Trying a better layout of hyperlinks on github --- etc/ANNOUNCE-1.6.md | 8 ++------ 1 file 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 -- cgit v1.2.3