Email Gateway (Aug 18 2022 at 19:57): Email Gateway (Aug 18 2022 at 19:57):From: gottfried.barrow@gmx.com
FROM: Re: [isabelle] Help file for commands such as "declare
[[show_types]]" because jEdit lacks PG features
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.
In general, "References", "Index", and "Bibliography" don't show up in
the table of contents for many of the PDFs in your documentation.
But, "Bibliography" and "Index" are in the table of contents for
"implementation.pdf". I guess you need to add some "\addcontentsline"s
to the other PDFs.
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
Last updated: Apr 24 2024 at 20:16 UTC