diff --git a/index.md b/index.md index 749099370673f1aefae950fac90cc811daa8bc8d..b3327d2005bb6b25cd1b15ef23936321bf6b47dc 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>© {{ site.time | date: '%Y' }}. All rights reserved.</p> - - - - - +</ul> \ No newline at end of file