Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Parents and children of check-in [cc51dec17e]
2016-08-25
| ||
12:18 | Add <fancy_format> or <table_of_contents> markup to a few more documents. To ensure that there are enough anchors in the longer documents for the search script to use. (check-in: 066e5931ce user: dan tags: experimental) | |
2016-08-24
| ||
19:26 | Further updates to search database and script. (check-in: cc51dec17e user: dan tags: experimental) | |
2016-08-20
| ||
17:22 | Add "jump to" links to relevant sections of large documents in search results. (check-in: 9d49a78f9b user: dan tags: experimental) | |