Re: [isabelle] How to build a heap image

Le Wed, 15 Jan 2014 16:47:52 +0100, Makarius <makarius at> a écrit:

What is still missing in the Prover IDE is some hyperlink from formal entities like 'attribute_setup' to the corresponding documentation. The manual has that markup already, but the connection in the user interface is not yet there.

If that's to PDF documentations, there is no easy way to achieve this, as not all PDF readers support anchor on the command line like the Adobe PDF reader do.

“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University

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