General cleanup

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