From 9e14b1fdaae5dee9bd5cfbf9d581b23401cd1a16 Mon Sep 17 00:00:00 2001 From: Gerd Heber Date: Mon, 13 Jul 2015 19:49:38 -0500 Subject: [PATCH] Update README.md --- README.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/README.md b/README.md index 3444bec..f84d787 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # Welcome to Kenzo +![GPLv3 Logo](http://www.gnu.org/graphics/gplv3-127x51.png) + According to the title of its [handbook](http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/Kenzo-doc.pdf), Kenzo is a "Symbolic Software for Effective Homology Computation" and @@ -81,3 +83,6 @@ Running test suite KENZO ``` Similarly, you'd load Kenzo via `(ql:quickload :kenzo)`. + + +![GPLv3 Logo](http://www.gnu.org/graphics/gplv3-127x51.png)