Re: [isabelle] returning to the original document in Isabelle/jedit



On Thu, 24 Jul 2014, Buday Gergely wrote:

However, when I try to ctrl-click on _finite_ in Group_Big.thy, the constant does not grow a border and Isabelle/JEdit does not jump to Finite_Set.thy.

This is what the Isabelle/jEdit manual says:

  Also note that the link target may be a file that is itself not subject
  to formal document processing of the editor session and thus prevents
  further exploration: the chain of hyperlinks may end in some source file
  of the underlying logic image, or within the Isabelle/ML bootstrap
  sources of Isabelle/Pure.


	Makarius




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