diff options
Diffstat (limited to 'prelude.html')
| -rw-r--r-- | prelude.html | 3 |
1 files changed, 3 insertions, 0 deletions
| diff --git a/prelude.html b/prelude.html index 0ab92d9..2d04269 100644 --- a/prelude.html +++ b/prelude.html | |||
| @@ -43,6 +43,9 @@ | |||
| 43 | 43 | ||
| 44 | <!-- ANCHORS --> | 44 | <!-- ANCHORS --> |
| 45 | <div class="anchors"> | 45 | <div class="anchors"> |
| 46 | <a href="prelude_backlinks.htm" id="back-link" title="Links to this page"> | ||
| 47 | φ | ||
| 48 | </a> | ||
| 46 | <a href="index.html" id="cover-link" title="To cover">◊</a> | 49 | <a href="index.html" id="cover-link" title="To cover">◊</a> |
| 47 | <a href="#" id="lozenge" title="ERROR">∝</a> | 50 | <a href="#" id="lozenge" title="ERROR">∝</a> |
| 48 | </div> | 51 | </div> |