From cd63297627c525ba1f4788795d30c7703fde4e50 Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Fri, 23 Jun 2017 23:38:31 -0400
Subject: [PATCH] General cleanup

---
 index.md | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

diff --git a/index.md b/index.md
index 7490993..b3327d2 100644
--- a/index.md
+++ b/index.md
@@ -10,7 +10,6 @@ We extend techniques from [formal methods](http://kwarc.info/semantics.html#fm)
 We concentrate on developing techniques for marking up the [structural semantics](http://kwarc.info/semantics.html#ssem) in technical documents. 
 This level of markup allows for offering interesting [knowledge management services](http://kwarc.info/projects/) without forcing the author to formalize the document contents.
 
-    
 
 ## Recent News ([see all](/news/))
  
@@ -18,11 +17,4 @@ This level of markup allows for offering interesting [knowledge management servi
     {% for post in site.posts limit:5 %}
         {% include post_link.html %}
     {% endfor %}
-</ul>
-
-<p>&copy; {{ site.time | date: '%Y' }}. All rights reserved.</p>
-
-
-
-
-
+</ul>
\ No newline at end of file
-- 
GitLab