From: Peter Koepke <email@example.com>
One can open pdf files from theory files by CONTROL-mouse-click (Linux,
Windows), which does not work from the Isabelle File Browser. Is there
another key combination for this?
From: Makarius <firstname.lastname@example.org>
The File Browser is from the jEdit text editor and not under control of
Isabelle. It has a right-click menu where you can say "Open in Desktop":
normally this has the desired effect to show the PDF.
Last updated: Sep 25 2021 at 08:21 UTC