[isabelle] Open pdf files from Isabelle File Browser



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?

Thanks, Peter





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