Re: [isabelle] Open pdf files from Isabelle File Browser
On 16.02.21 08:17, Peter Koepke wrote:
> 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?
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and