# [isabelle] Index & Bibliography aren't in the TOC for isar-ref.pdf

FROM: Re: [isabelle] Help file for commands such as "declare [[show_types]]" because jEdit lacks PG features
```
On 5/23/2012 5:58 PM, Makarius wrote:
```
```The isar-ref manual also has a formally generated index with hyperlinks.

Makarius
```
```
```
I suppose one reason I didn't find "show_types" in isar-ref.pdf is because "Index" isn't listed in the table of contents. I was looking at the table of contents to see what was there, and I've seen in the past that many of the documentation PDFs don't have an index.
```
```
```
```
```
```
If you're taking requests for your use of the LaTeX hyperref package, please add "\hypersetup{bookmarksnumbered=true}" so that the PDF sections in the bookmarks also get numbered.
```
Thanks,
GB

```

• References:

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.