Update index.html
Browse files- index.html +1 -1
index.html
CHANGED
|
@@ -220,7 +220,7 @@
|
|
| 220 |
<h2 class="title is-3">Overview</h2>
|
| 221 |
<div class="content has-text-centered">
|
| 222 |
<img src="static/images/WebShepherd.svg" alt="algebraic reasoning" class="center" style="width:100%">
|
| 223 |
-
<p> An overview of the
|
| 224 |
</div>
|
| 225 |
<div class="content has-text-justified">
|
| 226 |
<p>
|
|
|
|
| 220 |
<h2 class="title is-3">Overview</h2>
|
| 221 |
<div class="content has-text-centered">
|
| 222 |
<img src="static/images/WebShepherd.svg" alt="algebraic reasoning" class="center" style="width:100%">
|
| 223 |
+
<p> An overview of the Web-Shepherd</p>
|
| 224 |
</div>
|
| 225 |
<div class="content has-text-justified">
|
| 226 |
<p>
|