From: Adam Krolnik (krolnik@lsil.com)
Date: Thu May 09 2002 - 10:37:30 PDT
Precedence: bulk
Hello Paul;
>But, please do give me sufficient background to discuss this with >them. For example, given a PDF document, what's wrong with just using >an exhaustive search?
The hyperlinked BNF was something that I though would be immensely
helpful. I worked up a script to produce the hyperlinking and
then used that to navigate the BNF.
The speed at which one can navigate with the links greatly
aids comprehension. One is not forced to get the find window
and search (the right direction) for the typed in word.
The ability to then go back to the previous position allows
for a quick definition check and a return to the context
in which something is used.
The linking is not required as you have the capability to search.
I think the same arguments for an index can be used for the
linked version. It simply is so much faster to nagivate than
having to scan a document for what you are looking for.
Maybe the entire LRM should have hyperlinks to referenced sections.
If linking works well in the BNF, it does work for references.
I've seen table of contents that were linked and it was very handy
to bring up the document and quickly jump to that page. Same for
linked indexes - find the word in the index, jump to the page(s).
Thanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:55:37 PDT
and
sponsored by Boyd Technology, Inc.